https://github.com/AndrasKovacs/universes
History
Tip revision: fe91a04d3b2ae88ddc35c32ccb672a4cafa5c61e authored by AndrasKovacs on 11 December 2023, 10:05:44 UTC
update formalization to Agda 2.6.4 + stdlib 2.0
Tip revision: fe91a04
File Mode Size
agda
arxivsub
department_prez
efop_prez
.gitignore -rw-r--r-- 32 bytes
README.md -rw-r--r-- 139 bytes
lipics-v2021.cls -rw-r--r-- 45.8 KB
paper.pdf -rw-r--r-- 679.5 KB
paper.tex -rw-r--r-- 60.5 KB
references.bib -rw-r--r-- 15.4 KB

README.md

back to top