Folders and files

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
conclusion.tex		conclusion.tex
constr.tex		constr.tex
defs.tex		defs.tex
fk-vs-pointproofs.png		fk-vs-pointproofs.png
glossary.tex		glossary.tex
impl.tex		impl.tex
includes.tex		includes.tex
intro.tex		intro.tex
llncs.cls		llncs.cls
main.tex		main.tex
main.txss		main.txss
prelims.tex		prelims.tex
references.bib		references.bib