MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
Primary LanguagePythonThe UnlicenseUnlicense
No issues in this repository yet.