https://bitbucket.org/akaposi/prop
Tip revision: 342f0758427932316130a5a5facbeb6844c55c17 authored by Ambrus Kaposi on 02 June 2022, 14:03:40 UTC
add supplementary link and remove negative spaces
add supplementary link and remove negative spaces
Tip revision: 342f075
| File | Mode | Size |
|---|---|---|
| Isti | ||
| Model | ||
| ModelStrict | ||
| hModel | ||
| lib | ||
| rModel | ||
| .gitignore | -rw-r--r-- | 119 bytes |
| GraphModel.agda | -rw-r--r-- | 5.1 KB |
| Makefile | -rw-r--r-- | 194 bytes |
| abbrevs.tex | -rw-r--r-- | 2.4 KB |
| b.bib | -rw-r--r-- | 14.9 KB |
| cc-by.pdf | -rw-r--r-- | 57.0 KB |
| lib.agda | -rw-r--r-- | 25.8 KB |
| lipics-logo-bw.pdf | -rw-r--r-- | 81.6 KB |
| lipics-v2021.cls | -rw-r--r-- | 46.9 KB |
| orcid.pdf | -rw-r--r-- | 86.6 KB |
| paper.pdf | -rw-r--r-- | 616.0 KB |
| paper.tex | -rw-r--r-- | 81.9 KB |
| readme.md | -rw-r--r-- | 1.3 KB |
| todo.txt | -rw-r--r-- | 2.8 KB |
