Experimental (and basic) proof assistant with absolutely **no** elegant features.
Primary LanguageHaskellMIT LicenseMIT
No issues in this repository yet.