PrototypeCommon
sunblaze-ucb/vero
No description.
- Owner
- sunblaze-ucb (organization)
- Stars
- Stars: 117
- Forks
- Forks: 18
- Language
- Lean
- License
- Apache-2.0
- Created
- 2026
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by sunblaze-ucb
All 4 repos by sunblaze-ucb- sunblaze-ucb/exploitgymStars: 1,244CBeta
- sunblaze-ucb/cybergymStars: 998PythonBeta
- sunblaze-ucb/IntuitorStars: 427PythonAlpha
Nearby in Lean
All Lean repos- leanprover/LNSymStars: 120LeanPrototype
- leanprover-community/duperStars: 119LeanPrototype
- leanprover-community/plausibleStars: 119LeanPrototype
- fpvandoorn/carlesonStars: 114LeanPrototype
- James-Hanson/junk-theorems-in-leanStars: 114LeanPrototype
- AxiomMath/Putnam2025Stars: 114LeanPrototype