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

summary refs log tree commit diff

path: root/CoalgebraicMuCalculus.lean

blob: e58c4550546b595c57037f2dae067d0bd4b95b11 (plain)

1
2
3

import CoalgebraicMuCalculus.FixedPoints
import CoalgebraicMuCalculus.MuCalculus
import CoalgebraicMuCalculus.Instances.Relational