https://github.com/AndrasKovacs/universes
Tip revision: fe91a04d3b2ae88ddc35c32ccb672a4cafa5c61e authored by AndrasKovacs on 11 December 2023, 10:05:44 UTC
update formalization to Agda 2.6.4 + stdlib 2.0
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 |