UniMath Versions Save

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

v20240331

1 month ago

This is the UniMath library of univalent mathematics as of 2024-03-31.

v20240321

1 month ago

This is the UniMath library of univalent mathematics as of 2024-03-21.

v20231010

7 months ago

This is the UniMath library of univalent mathematics as of 2023-04-20.

v20230420

1 year ago

This is the UniMath library of univalent mathematics as of 2023-04-20.

v20230321

1 year ago

This is the UniMath library of univalent mathematics as of 2023-03-21.

v20220816

1 year ago

This is the UniMath library of univalent mathematics as of 2022-08-16.

v20220204

2 years ago

This is the UniMath library of univalent mathematics as of 2022-02-04.

v20210807

2 years ago

This is the UniMath library of univalent mathematics as of 2021-08-07.

v0.1

8 years ago

first experimental release to allow packaging with OPAM, compatible with Coq 8.5 (https://github.com/coq/coq/releases/tag/V8.5)