Published September 23, 2024
| Version v20240923
Software
Open
UniMath/UniMath: UniMath 2024-09-23
Creators
- Daniel R. Grayson
- Benedikt Ahrens1
- Ralph Matthes2
- Niels van der Weide
- Anders Mörtberg
- cathlelay
- Kobe Wullaert3
- Langston Barrett4
- Marco Maggesi5
- Peter LeFanu Lumsdaine6
- Vladimir Voevodsky
- Tomi Pannila
- Gianluca Amato7
- Michael Lindgren
- Mitchell Riley8
- Skantz
- CalosciMatteo
- Matthew Weaver9
- Tobias-Schmude
- Daniel Frumin
- Auke Booij
- Hichem Saghrouni
- Arnoud van der Leer
- Dennis
- varkor
- Dimitris Tsementzis
- niccoloveltri
- Anthony Bordg
- Dominik Kirst10
- Karl Palmskog11
- 1. Delft University of Technology, NL
- 2. IRIT, Université de Toulouse, CNRS, Toulouse INP, UT3
- 3. TU Delft
- 4. @GaloisInc
- 5. University of Florence, Italy
- 6. Stockholm University
- 7. Università di Chieti-Pescara
- 8. NYUAD
- 9. Princeton University
- 10. @uds-psl
- 11. KTH Royal Institute of Technology
Description
This is the UniMath library of univalent mathematics as of 2024-09-23.
Files
UniMath/UniMath-v20240923.zip
Files
(4.6 MB)
Name | Size | Download all |
---|---|---|
md5:a47e759fda48253cdef931273eda0f69
|
4.6 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/UniMath/UniMath/tree/v20240923 (URL)