holm
Step-by-step MoonBit port of make-a-hol
hol
theorem-prover
moonbit
tutorial
moon add bobzhang/holm@0.1.1
Download zip
READMEbobzhang/holm does not have a README file
Step-by-step MoonBit port of make-a-hol
holtheorem-provermoonbittutorial
Step-by-step MoonBit port of make-a-hol
READMEbobzhang/holm does not have a README file
Step-by-step MoonBit port of make-a-hol
0.1.1
MIT
Updated 5 months ago
25 downloads