Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
Learning lean4 by building category theory constructions from scratch.