New suggested Article from Hacker News: Propositional logic exercises with the lean theorem prover

Here’s a new suggested article for you: Propositional logic exercises with the lean theorem prover
. We suggest reading this article we found on Hacker News.
Posted by Ayush Pathak at October 22, 2021 at 03:42AM