Agda proof for the completeness of propositional logic using Kalmar's lemma.
The completeness theorem is in the end of "Kalmar.agda".
We use the Agda version 2.6.2, and Agda stdlib verion 2.0.
-
Notifications
You must be signed in to change notification settings - Fork 0
Agda proof for the completeness of propositional logic using Kalmar's lemma.
License
onestruggler/Kalmar
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Agda proof for the completeness of propositional logic using Kalmar's lemma.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published