This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
This is the UniMath library of univalent mathematics as of 2024-03-31.
This is the UniMath library of univalent mathematics as of 2024-03-21.
This is the UniMath library of univalent mathematics as of 2023-04-20.
This is the UniMath library of univalent mathematics as of 2023-04-20.
This is the UniMath library of univalent mathematics as of 2023-03-21.
This is the UniMath library of univalent mathematics as of 2022-08-16.
This is the UniMath library of univalent mathematics as of 2022-02-04.
This is the UniMath library of univalent mathematics as of 2021-08-07.
first experimental release to allow packaging with OPAM, compatible with Coq 8.5 (https://github.com/coq/coq/releases/tag/V8.5)