A tool for checking, verifying, archiving and studying mathematical proofs.
@hakerh400/proof-assistant
1.0.1 • Public • Published/@hakerh400/proof-assistant/
Package Sidebar
Install
npm i @hakerh400/proof-assistant
Repository
Weekly Downloads
2
Version
1.0.1
License
Unlicense
Unpacked Size
57.3 kB
Total Files
75