Postdoc in Queen Mary University of London, working on geometric / topological data analysis.
Highlights
- Pro
Popular repositories Loading
-
shqod
shqod PublicForked from rodrigolece/shqod
Origin-Destination tools to work with the SHQ dataset
Python
-
lean_injective_divisible
lean_injective_divisible PublicProducing a Lean proof that an abelian group is injective iff divisible
Lean
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.