~jorge-jbs/mathematical-logic

"Mathematical Logic" book formalized in Agda
992f8334 — Jorge Blázquez Saborido 3 years ago
Start prove of completeness of Propositional Logic
747cf83e — Jorge Blázquez Saborido 3 years ago
Add default.nix
db5c0b92 — Jorge Blázquez Saborido 3 years ago
Refactor and write sketch of get-CNF and get-DNF

refs

master
browse  log 

clone

read-only
https://git.sr.ht/~jorge-jbs/mathematical-logic
read/write
git@git.sr.ht:~jorge-jbs/mathematical-logic

You can also use your local clone with git send-email.

#Formalization of Propositional Logic in Agda

Following "Mathematical Logic" of Ian Chiswell and Wilfrid Hodges.