Before the theorem prover: verification is older than the alphabet

4 points | by amangoelumich 11 hours ago