GitHub repository: mmasdeu/fundamental
Primary language: Lean
Created: 2022-11-16T16:56:44Z
Description: Learn basic of LEAN and prove basic results from "Fonaments" class