Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@pitmonticone
pitmonticone committed Sep 29, 2024
1 parent b094c37 commit 9a15227
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -113,6 +113,7 @@ project folder and update the necessary files and configurations to match the ne
- [Infinity Cosmos](https://github.com/emilyriehl/infinity-cosmos) led by Emily Riehl.
- [Analytic Number Theory Exponent Database](https://github.com/teorth/expdb) led by Terence Tao.
- [Groupoid Model of Homotopy Type Theory](https://github.com/sinhp/GroupoidModelofHoTTinLean4) led by Sina Hazratpour.
- [Equational Theories](https://github.com/teorth/equational_theories) led by Terence Tao.

For more examples of completed and ongoing Lean projects and libraries, please
see the [Lean Reservoir](https://reservoir.lean-lang.org).
Expand Down

0 comments on commit 9a15227

Please sign in to comment.