Before the theorem prover: verification is older than the alphabet | Hacker News

Before the theorem prover: verification is older than the alphabet (amangoel.ai)

3 points by amangoelumich 6 hours ago | discuss