41554 blogs · [
{
"id": "01a08726-91ae-72e9-8d10-6450db58f490",
"title": "Before the theorem prover: verification is older than the alphabet",
"url": "https://amangoel.ai/blog/before-the-theorem-prover/",
"published_at": "2026-07-30T00:00:00+00:00"
}
] posts Claim your blog