GitHub repository: AdrianDoM/lftcm2020
Primary language: Lean
Description: Lean for the Curious Mathematician 2020