Before the theorem prover: verification is older than the alphabet

3 points | by amangoelumich an hour ago

No comments yet