sourcehut
Log in
—
Register
~jorge-jbs
/
mathematical-logic
summary
tree
log
refs
/
d---------
Tree
Log
Permalink
992f8334
— Jorge Blázquez Saborido Start prove of completeness of Propositional Logic
3 years ago
-rw-r--r--
Derivation.agda
13.0 KiB
-rw-r--r--
Examples.agda
4.2 KiB
-rw-r--r--
LICENSE
34.3 KiB
-rw-r--r--
PropositionalLogic.agda
18.6 KiB
-rw-r--r--
README.md
115 bytes
-rw-r--r--
Signature.agda
565 bytes
-rw-r--r--
Structure.agda
4.3 KiB
-rw-r--r--
Table.agda
2.9 KiB
-rw-r--r--
Utils.agda
1.2 KiB
-rw-r--r--
default.nix
142 bytes