New top story on Hacker News: Propositional logic exercises with the lean theorem prover

Propositional logic exercises with the lean theorem prover
4 by mathematically | 0 comments on Hacker News.