/logiko

A browser based natural deduction game

Primary LanguageRustGNU General Public License v3.0GPL-3.0

Watchers