alt
Hacker News
slopinthebag
•
today at 2:50 AM
•
1 reply
•
view on HN
Source?
Replies
p-e-w
•
today at 3:47 AM
The fact that 99.99% of humans have never used a formal theorem prover?
➕ show 2 replies
alt Hacker News
The fact that 99.99% of humans have never used a formal theorem prover?