GitHub repository: leanprover-community/lftcm2020
Primary language: Lean
Created: 2020-05-28T09:43:40Z
Description: Lean for the Curious Mathematician 2020