Lindenbaum-Tarski algebra (#1012) · agda/cubical@89a8e1a · GitHub

Commit

Lindenbaum-Tarski algebra (#1012)

Browse files

* Lindenbaum-Tarski algebra of classical propositional logic

* Adhere to naming conventions

* clean

* Comment on soundness.

* Removed trailing whitespaces.

* Added informational comment at beginning of file.

* Update Cubical/Algebra/LindenbaumTarski.agda

---------

Co-authored-by: Anders Mörtberg <andersmortberg@gmail.com>

Loading branch information

croos90 and mortberg authored Jun 20, 2023

1 parent 8a9b450 commit 89a8e1a