Name		Name	Last commit message	Last commit date
Latest commit History 418 Commits
attic		attic
examples		examples
other/POPL2023_Abreu_et_al		other/POPL2023_Abreu_et_al
paper-scripts		paper-scripts
paper		paper
theories		theories
util		util
.gitattributes		.gitattributes
.gitignore		.gitignore
.nia.cache		.nia.cache
LICENSE.txt		LICENSE.txt
README.md		README.md
_CoqProject		_CoqProject
gen_makefile.sh		gen_makefile.sh
zipfile.sh		zipfile.sh