vaibhavkarve

vaibhavkarve

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
31 Stars
5 Forks
31 Watchers

Repositories (1)

leanteach2020 vaibhavkarve/leanteach2020 Lean

Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project

31