A Lean 4 + Mathlib proof service for the agent working on your code
These files are yamafaktory/formal's own configuration. They tell Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.
CLAUDE.md A 814 tok .claude/commands/prove.md A 12 tok