@hakerh400/proof-assistant (npm): A tool for checking, verifying, archiving and studying mathematical proofs
Keywords: math|proofs