Vaibhav Karve
Results
2
repositories owned by
Vaibhav Karve
leanteach2020
21
Stars
5
Forks
Watchers
Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
multihypergraph
15
Stars
2
Forks
Watchers
A simple python package for graph theory that supports multi-edges, hyper-edges, looped-edges and every other combination of these.