Comment Comment by p-e-w The fact that 99.99% of humans have never used a formal theorem prover? parent p-e-w 3 months ago
