/natural-deduction-game

A game that teaches natural deduction for propositional logic

Primary LanguageJavaScript

natural-deduction-game

A game that teaches natural deduction for propositional logic