Propositional logic exercises with the lean theorem prover

by mathematically on 10/21/2021, 10:12:16 PM with 8 comments

  • by giomasce on 10/22/2021, 5:00:25 AM

    See also the Natural Number Game.

  • by sidpatil on 10/22/2021, 3:17:08 AM

    Just the kind of thing I've been looking for!