AlphaUncommon
cameronfreer/lean4-skills
Lean 4 theorem proving skill and workflow pack for AI coding agents
- Owner
- cameronfreer (personal account)
- Stars
- Stars: 479
- Forks
- Forks: 47
- Language
- Python
- License
- MIT
- Created
- 2025
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Python
All Python repos- fecarrico/A11Y.mdStars: 479PythonAlpha
- Yinsongxu/LLM2JevStars: 479PythonAlpha
- Phocinae/Phocinae-Largha-150M-v1Stars: 479PythonAlpha
- kornelski/ImageAlphaStars: 479PythonAlpha
- donlnz/nonconformistStars: 479PythonAlpha
- golemhq/golemStars: 479PythonAlpha