/formalising-mathematics-2023

repository for material for Jan-Mar 2023 course on formalising mathematics

Primary LanguageLean

No issues in this repository yet.