Towards a simple theorem prover Posted by maiavictor on Saturday January 26, 2019 @01:55PM from the medium.com dept. https://medium.com/@maiavictor/towards-a-simple-theorem-prover-5005a1e66a6f ( no comments | 5 points | on HN )
There are no comments yet.