Revision dfb2127865dda7ab2db1a29ea1a2d5ac3d60f4b5 authored by AndrasKovacs on 29 October 2021, 18:43:22 UTC, committed by AndrasKovacs on 29 October 2021, 18:43:22 UTC
1 parent f616dfc
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-- | 680.6 KB |
paper.tex | -rw-r--r-- | 60.5 KB |
references.bib | -rw-r--r-- | 125.7 KB |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...