Should we tell him about Coq? Lol.
Gamifying propositional logic: QED, an interactive textbook
21–22 of 22 posts
Re: Gamifying propositional logic: QED, an interactive textbook
#22Cool! Someone should make a sleeker interface for it.
The interface is good enough. But someone should make a natural deduction version of it!