Hacker News new | ask | show | jobs
Before the theorem prover: verification is older than the alphabet (amangoel.ai)
4 points by amangoelumich 3 days ago