Before the theorem prover: verification is older than the alphabet
By amangoelumich · 2026-07-30 · 3 points · 0 comments
https://amangoel.ai/blog/before-the-theorem-prover/
By amangoelumich · 3 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews