PrototypeCommon
34j/best-of-lean4
A list of awesome lean4 projects. Feel free to add your project.
- Owner
- 34j (personal account)
- Stars
- Stars: 149
- Forks
- Forks: 13
- Language
- No language
- License
- CC-BY-SA-4.0
- Created
- 2023
- Topics
- lean4awesomebest-oflean
- Tier
- Prototype (100 to 249 ★) What this tier means