-
University of Pennsylvani
- Philadelphia, Pennsylvania
- math.wisc.edu/~nicodemus
- @PatNicodemus
Block or Report
Block or report patrick-nicodemus
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
UniMath
UniMath PublicForked from UniMath/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Coq
-
-
ssprove
ssprove PublicForked from SSProve/ssprove
A foundational framework for modular cryptographic proofs in Coq
Coq
-
category-theory
category-theory PublicForked from jwiegley/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
Coq
-
CAJAL
CAJAL PublicForked from CamaraLab/CAJAL
A Python package using Gromov-Wasserstein distance to compare cell shapes
Python
If the problem persists, check the GitHub status page or contact support.