AlphaUncommon
anthropics/formal-math
No description.
- Owner
- anthropics (organization)
- Stars
- Stars: 454
- Forks
- Forks: 84
- Language
- Lean
- License
- Apache-2.0
- Created
- 2026
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by anthropics
All 67 repos by anthropics- anthropics/skillsStars: 186,875PythonLTS
- anthropics/claude-codeStars: 154,332TypeScriptLTS
- anthropics/claude-cookbooksStars: 54,129Jupyter NotebookLTS
- anthropics/claude-plugins-officialStars: 45,887PythonLTS
- anthropics/financial-servicesStars: 41,004PythonLTS
- anthropics/prompt-eng-interactive-tutorialStars: 39,008Jupyter NotebookLTS
Nearby in Lean
All Lean repos- teorth/equational_theoriesStars: 564LeanAlpha
- lecopivo/SciLeanStars: 542LeanAlpha
- jinshanmu/CrouzeixConjectureStars: 532LeanAlpha
- ByteDance-Seed/Seed-ProverStars: 442LeanAlpha
- leanprover-community/batteriesStars: 428LeanAlpha
- PatrickMassot/GlimpseOfLeanStars: 428LeanAlpha