https://bitbucket.org/akaposi/prop
Revision 9a8448310473f2c95e93883cd1c9cf27dc2ecb2b authored by Ambrus Kaposi on 26 April 2022, 12:27:14 UTC, committed by Ambrus Kaposi on 26 April 2022, 12:27:14 UTC
1 parent f4918f4
Tip revision: 9a8448310473f2c95e93883cd1c9cf27dc2ecb2b authored by Ambrus Kaposi on 26 April 2022, 12:27:14 UTC
stuff
stuff
Tip revision: 9a84483
File | Mode | Size |
---|---|---|
Agda | ||
Model | ||
ModelStrict | ||
hModel | ||
lib | ||
rModel | ||
.gitignore | -rw-r--r-- | 119 bytes |
GraphModel.agda | -rw-r--r-- | 5.0 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-- | 601.0 KB |
paper.tex | -rw-r--r-- | 79.6 KB |
readme.md | -rw-r--r-- | 127 bytes |
todo.txt | -rw-r--r-- | 6.1 KB |
Computing file changes ...