Add De Morgan proofs - Githubissues

matt-noonan / gdp

Ghosts of Departed Proofs

BSD 3-Clause "New" or "Revised" License

60 stars 11 forks source link

Closed jali-clarke closed 3 years ago

jali-clarke commented 3 years ago

Adds De Morgan duality proofs to Classical logic section

matt-noonan commented 3 years ago

Thank you!