Published March 31, 2024 | Version v20240331
Software Open

UniMath/UniMath: UniMath 2024-03-31

  • 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. KTH Royal Institute of Technology
  • 11. @uds-psl
  • 12. LMU Munich

Description

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

Files

UniMath/UniMath-v20240331.zip

Files (4.2 MB)

Name Size Download all
md5:832765c1cdac2a52839b5c150d211f38
4.2 MB Preview Download

Additional details

Related works