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.