Turn theorem statements into checked Lean proofs.
About this skill
- Visibility
- Public
- Repository
- parcadei/continuous-claude-v3
- Language
- English
- Agent capabilities
- file-write hooks
- License
- MIT (from GitHub repository)
- Created
- Oct 16, 2026
- Updated
- Oct 16, 2026
- Files
- 1
