Mathematical proof checker which can be used to create Qeditas theories, signatures and documents - View it on GitHub