HermesMarc
Interested in constructive, paraconsistent logics and formal math.
Radboud UniversityNijmegen
Pinned Repositories
coq-library-fol
Fork of the first order library with results on Tennenbaum's Theorem
Coq_files
Some small projects in Coq I have finished or am still working on.
Documents
Written Stuff I have done or contributed to
HermesMarc
hermesmarc.github.io
Tennenbaum-CTT
Coq Project on Tennenbaum's theorem
HermesMarc's Repositories
HermesMarc/hermesmarc.github.io
HermesMarc/Tennenbaum-CTT
Coq Project on Tennenbaum's theorem
HermesMarc/coq-library-fol
Fork of the first order library with results on Tennenbaum's Theorem
HermesMarc/Coq_files
Some small projects in Coq I have finished or am still working on.
HermesMarc/Documents
Written Stuff I have done or contributed to
HermesMarc/HermesMarc
HermesMarc/itp-2024-artifact
code artifact for the ITP 2024 publication