An open source graphical proof construction assistant for the creation of Natural Deduction proofs.
Primary LanguageTypeScriptMIT LicenseMIT