PrototypeCommon
James-Hanson/junk-theorems-in-lean
A small collection of formally verified junk theorems provable in Lean4 + Mathlib.
- Owner
- James-Hanson (personal account)
- Stars
- Stars: 114
- Forks
- Forks: 2
- Language
- Lean
- License
- Apache-2.0
- Created
- 2025
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- sunblaze-ucb/veroStars: 117LeanPrototype
- fpvandoorn/carlesonStars: 114LeanPrototype
- AxiomMath/Putnam2025Stars: 114LeanPrototype
- optsuite/optlibStars: 113LeanPrototype
- vihdzp/combinatorial-gamesStars: 113LeanPrototype