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: dd1d18a9db83b17d23c2ad560aae008e9f485f0b (plain)

1
2
3

import SymbolicModalLogic.FixedPoints
import SymbolicModalLogic.MuCalculus
import SymbolicModalLogic.Instances.Relational