A Lean 4 implementation of the paper Propositional Lax Logic by Matt Fairtlough and Michael Mendler.
AviCraimer/lax-logic-in-lean
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A Lean 4 implementation of the paper Propositional Lax Logic by Matt Fairtlough and Michael Mendler.