We are hiring ! See our job offers.
https://bitbucket.org/akaposi/prop
History
Tip revision: 342f0758427932316130a5a5facbeb6844c55c17 authored by Ambrus Kaposi on 02 June 2022, 14:03:40 UTC
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

readme.md

back to top