holm
Step-by-step MoonBit port of make-a-hol
hol
theorem-prover
moonbit
tutorial
Author
Version
0.1.3
License
MIT
Repository
Last updated
8 hours ago
Downloads
43
bobzhang/holm does not have a README file
Install
Download zipStep-by-step MoonBit port of make-a-hol
holtheorem-provermoonbittutorial
MIT
Updated 8 hours ago
43 downloads