leanprover-community/lftcm2020

This is stars and forks stats for /leanprover-community/lftcm2020 repository. As of 16 Apr, 2024 this repository has 63 stars and 78 forks.

Lean for the Curious Mathematician 2020 This repository hosts the Lean demos and exercises from the meeting Lean for the Curious Mathematician, held virtually in July 2020. Recordings of the tutorials at this meeting are available on YouTube. (The repository also hosts the meeting website, but you can ignore this.) Layout In the src folder, you will find a number of subdirectories containing Lean files: for_mathlib contains some background material that you can ignore. demos contains some files that...