New top story on Hacker News: Propositional logic exercises with the lean theorem prover
Propositional logic exercises with the lean theorem prover
10 by mathematically | 0 comments on Hacker News.
10 by mathematically | 0 comments on Hacker News.
Comments
Post a Comment