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