Skip to content

Show that classical logic can be derived by using double negation#13

Open
NotBad4U wants to merge 2 commits into
Deducteam:masterfrom
NotBad4U:add-classic
Open

Show that classical logic can be derived by using double negation#13
NotBad4U wants to merge 2 commits into
Deducteam:masterfrom
NotBad4U:add-classic

Add proof to EM and fix the meta is left uninstanciated for forall de…

f6e8554
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs