https://github.com/AndrasKovacs/universes
Revision 515b793d9d0c095e967c8e701d0281b30319578f authored by András Kovács on 27 February 2021, 13:22:05 UTC, committed by András Kovács on 27 February 2021, 13:22:05 UTC
which doesn't work on arxiv
1 parent 7c049dd
Tip revision: 515b793d9d0c095e967c8e701d0281b30319578f authored by András Kovács on 27 February 2021, 13:22:05 UTC
add arxiv sub
add arxiv sub
Tip revision: 515b793
| File | Mode | Size |
|---|---|---|
| agda | ||
| arxivsub | ||
| department_prez | ||
| .gitignore | -rw-r--r-- | 32 bytes |
| lipics-v2021.cls | -rw-r--r-- | 45.8 KB |
| paper.pdf | -rw-r--r-- | 579.3 KB |
| paper.tex | -rw-r--r-- | 59.2 KB |
| references.bib | -rw-r--r-- | 123.0 KB |
Computing file changes ...
