GitHub repository: vaibhavkarve/leanteach2020
Primary language: Lean
Description: Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project