Code

Lindenbaum-Tarski algebra#1012

Code

Merged

mortberg merged 7 commits intoagda:masteragda/cubical:masterfrom croos90:mastercroos90/cubical:masterCopy head branch name to clipboardJun 20, 2023

+403

Commits

Commits on Jun 17, 2023

• Lindenbaum-Tarski algebra of classical propositional logic

  croos90

  committed
  07da524

  Copy full SHA for 07da524

• Adhere to naming conventions

  croos90

  committed
  ff01355

  Copy full SHA for ff01355

• clean

  croos90

  committed
  820ee03

  Copy full SHA for 820ee03

• Comment on soundness.

  croos90

  committed
  5f04a8c

  Copy full SHA for 5f04a8c

Commits on Jun 19, 2023

• Removed trailing whitespaces.

  croos90

  committed
  d298fdc

  Copy full SHA for d298fdc

Commits on Jun 20, 2023

• Added informational comment at beginning of file.

  croos90

  committed
  19821e9

  Copy full SHA for 19821e9

• Update Cubical/Algebra/LindenbaumTarski.agda

  mortberg

  authored
  1910ef1

  Copy full SHA for 1910ef1