uniform-lr

Coq formalization of uniform logical relations

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
.gitignore		.gitignore
IEEEtran.bst		IEEEtran.bst
IEEEtran.cls		IEEEtran.cls
README.md		README.md
bare_conf.tex		bare_conf.tex
bib.bib		bib.bib
cic.v		cic.v
definitions.tex		definitions.tex
indtype-list.v		indtype-list.v
indtype.v		indtype.v
lipics-logo-bw.pdf		lipics-logo-bw.pdf
lipics-manual.pdf		lipics-manual.pdf
lipics-sample-article.tex		lipics-sample-article.tex
lipics.cls		lipics.cls
ttda.v		ttda.v
tweaklist.sty		tweaklist.sty
ulr-old.v		ulr-old.v
ulr-pairsum.v		ulr-pairsum.v
uniform-lr-triples.tex		uniform-lr-triples.tex
uniform-lr.tex		uniform-lr.tex

Provide feedback