Hacker News new | ask | show | jobs
Towards a simple theorem prover (medium.com)
5 points by maiavictor 2702 days ago