We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent db50056 commit 8f54accCopy full SHA for 8f54acc
1 file changed
popl24/The_MetaCoq_Formalisations.pdf
557 KB
0 commit comments