SymbolicModalLogic.lean - haschu/coalgebraic-mu-calculus.git - [WIP] Formaliziation of the coalgebraic mu-calculus in Lean 4.

summary refs log tree commit diff

path: root/SymbolicModalLogic.lean

blob: 5fbdbe6eedd8dee6cb7e2e9af0411b156b7feb47 (plain)

1 2	`import SymbolicModalLogic.MuCalculus import SymbolicModalLogic.Instances.Relational`