A tool for checking, verifying, archiving and studying mathematical proofs.
This repository has been archived by the owner on Oct 14, 2021. It is now read-only.
A tool for checking, verifying, archiving and studying mathematical proofs.