Published September 23, 2025
| Version v20250923
Software
Open
UniMath/UniMath: v20250923
Authors/Creators
- Daniel R. Grayson
- Benedikt Ahrens1
- Ralph Matthes2
- Niels van der Weide
- Anders Mörtberg
- cathlelay
- Langston Barrett3
- Peter LeFanu Lumsdaine4
- Marco Maggesi5
- Vladimir Voevodsky
- Tomi Pannila
- Gianluca Amato6
- Michael Lindgren
- Mitchell Riley7
- Skantz
- CalosciMatteo
- Arnoud van der Leer
- Tobias-Schmude
- Daniel Frumin
- Auke Booij
- Hichem Saghrouni
- Dennis8
- varkor
- Dimitris Tsementzis
- niccoloveltri
- Anthony Bordg
- Dominik Kirst9
- Karl Palmskog10
- Satoshi Kura
- Tamara von Glehn
- 1. Delft University of Technology, NL
- 2. IRIT, Université de Toulouse, CNRS, Toulouse INP, UT3
- 3. @GaloisInc
- 4. Stockholm University
- 5. University of Florence, Italy
- 6. Università di Chieti-Pescara
- 7. NYUAD
- 8. High Voltage Engineering Europa B.V.
- 9. @uds-psl
- 10. KTH Royal Institute of Technology
Description
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
Files
UniMath/UniMath-v20250923.zip
Files
(5.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:c6c92e3162b0bd3b08b3f6323d46618f
|
5.1 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/UniMath/UniMath/tree/v20250923 (URL)
Software
- Repository URL
- https://github.com/UniMath/UniMath