GitHub repository: ImperialCollegeLondon/Example-Lean-Projects
Primary language: Lean
Created: 2020-06-28T11:35:25Z
Description: Some examples of Lean projects, for undergraduate mathematicians.