Experimental (and basic) proof assistant with absolutely **no** elegant features.
Primary LanguageHaskellMIT LicenseMIT