holm
Step-by-step MoonBit port of make-a-hol
hol
theorem-prover
moonbit
tutorial
Build failed
Documentation failed to generate for this version.
The package is ready to install and use as a dependency.
Install
Download zipStep-by-step MoonBit port of make-a-hol
holtheorem-provermoonbittutorial
MIT
Updated 10 days ago
38 downloads