Published September 23, 2024 | Version v20240923
Software Open

UniMath/UniMath: UniMath 2024-09-23

  • 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