from Hacker News

Propositional logic exercises with the lean theorem prover

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

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

  See also the Natural Number Game.

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

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