UniMath / UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
See what the GitHub community is most excited about today.
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Verifying concurrent crash-safe systems