/CoalgebraicMuCalculus/

• ../
• AlternationDepth.lean
• FixedPoints.lean
• Instances
• MuCalculus.lean