prove
01Command Claude Code
Prove properties about formal's own pure functions, using formal.
23 6d ago A 12 tokens
original MIT
23Stars on the repository
2Mods indexed here, across every type
6d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown