A Coq formalization of "Negative Translations and Normal Modality".

Name
Last commit
Last update
External/IPC Loading commit data...
presentation Loading commit data...
unused Loading commit data...
.gitignore Loading commit data...
DNTrans.v Loading commit data...
HilbertStyleEquivalence.v Loading commit data...
IntModalSetup.v Loading commit data...
KIbox_NaturalDeduction.v Loading commit data...
KIbox_Rules.v Loading commit data...
Makefile Loading commit data...
README Loading commit data...
Summary.v Loading commit data...
_CoqProject Loading commit data...
alcop2016slides_corrected.pdf Loading commit data...
alcop2016slides_corrected_extended.pdf Loading commit data...
dnegfscd2017.pdf Loading commit data...