Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 2 commits into
base: master
Choose a base branch
from

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

f6e8554
Select commit
Loading
Failed to load commit list.
Open

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

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