vaibhavkarve / leanteach2020Links

Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
28Updated 3 years ago

Alternatives and similar repositories for leanteach2020

Users that are interested in leanteach2020 are comparing it to the libraries listed below

Sorting: