ImperialCollegeLondon / Example-Lean-Projects

Some examples of Lean projects, for undergraduate mathematicians.
22Updated 3 years ago

Related projects

Alternatives and complementary repositories for Example-Lean-Projects