GitHub repository: mmasdeu/barcelonaleanseminar
Primary language: Lean
Created: 2021-02-03T15:28:55Z
Description: Exercises done during the weekly Lean seminar