/Example-Lean-Projects

Some examples of Lean projects, for undergraduate mathematicians.

Primary LanguageLean

Watchers