prove
01Command Claude Code
Prove properties about formal's own pure functions, using formal.
23 4d ago A 12 tokens
original MIT
Instructions file
Instructions for yamafaktory/formal, covering formal, rust, the files that judge changes, hints and lean.
23 4d ago A 814 tokens
original MIT