https://bitbucket.org/akaposi/prop
Tip revision: bdb2f47fb8760f088fd86475ed31b275da103610 authored by DrpontAgon on 02 February 2024, 21:00:11 UTC
LF line endings
LF line endings
Tip revision: bdb2f47
File | Mode | Size |
---|---|---|
Isti | ||
Model | ||
ModelStrict | ||
hModel | ||
lib | ||
rModel | ||
.gitattributes | -rw-r--r-- | 326 bytes |
.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 |