MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker - View it on GitHub