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