Software Open Access

UniMath/UniMath: UniMath 2023-04-20

Daniel R. Grayson; Benedikt Ahrens; Ralph Matthes; Anders Mörtberg; cathlelay; Kobe Wullaert; Langston Barrett; Marco Maggesi; Peter LeFanu Lumsdaine; Vladimir Voevodsky; Tomi Pannila; Gianluca Amato; Michael Lindgren; Niels van der Weide; Mitchell Riley; Skantz; CalosciMatteo; Matthew Weaver; Tobias-Schmude; Auke Booij; Hichem Saghrouni; Dan Frumin; varkor; Dimitris Tsementzis; niccoloveltri; Anthony Bordg; Dominik Kirst; Karl Palmskog; Jannis Limperg; Tim Cherganov

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

Files (3.3 MB)
Name Size
UniMath/UniMath-v20230420.zip
md5:4c6bc084292b6ff0120cbdb68e20a2e6 		3.3 MB Download
27
0
views
downloads
All versions This version
Views 2727
Downloads 00
Data volume 0 Bytes0 Bytes
Unique views 2020
Unique downloads 00
More info on how stats are collected.
Available in Indexed in
Publication date:
April 20, 2023
DOI:
10.5281/zenodo.7848572

Zenodo DOI Badge

DOI 

10.5281/zenodo.7848572

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.7848572.svg)](https://doi.org/10.5281/zenodo.7848572)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.7848572.svg
   :target: https://doi.org/10.5281/zenodo.7848572

HTML 

<a href="https://doi.org/10.5281/zenodo.7848572"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.7848572.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.7848572.svg

Target URL 

https://doi.org/10.5281/zenodo.7848572

Related identifiers:
Supplement to
License (for files):
Other (Open)

Versions

Version v20230420 10.5281/zenodo.7848572 Apr 20, 2023
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.7848571. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export