Before the theorem prover: verification is older than the alphabet13 hours agoverificationhistoryancient technologyhttps://amangoel.ai/blog/before-the-theorem-prover/Copy Link