CPP'22 paper: "Undecidability, Incompleteness, and Completeness of Second-Order Logic in Coq"

Compilation:

tested with Coq versions 8.13.1 and 8.13.2 and Equations package 1.2.3+8.13
if you use opam, these can be installed with opam install coq.8.13.2 and opam install coq-equations.1.2.3+8.13
then run make in folder coq to compile project, should take less than 5 minutes