Instructions file
Instructions for HOL-Theorem-Prover/hol4-mcp, covering development notes, virtual environment, running tests and fastmcp.
not rated 2 3mo ago A 124 tokens
original MIT
2Stars on the repository
1Mods indexed here, across every type
3mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown