Hacker News new | ask | show | jobs
user: amangoelumich
created: 2025-05-12
karma: 3

submissions:

Before the theorem prover: verification is older than the alphabet
4 points | 0 comments