/Conan

A proof editor for first order logic

Primary LanguageJavaMIT LicenseMIT

Issues