Before the theorem prover: verification is older than the alphabet

(amangoel.ai)

4 points | by amangoelumich 11 hours ago ago

No comments yet.