Before the theorem prover: verification is older than the alphabet15 hours agohttps://amangoel.ai/blog/before-the-theorem-prover/