https://bitbucket.org/akaposi/prop
Revision 342f0758427932316130a5a5facbeb6844c55c17 authored by Ambrus Kaposi on 02 June 2022, 14:03:40 UTC, committed by Ambrus Kaposi on 02 June 2022, 14:03:40 UTC
1 parent 081ccb7
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 |
Computing file changes ...