haschu/coalgebraic-mu-calculus.git/CoalgebraicMuCalculus/FixedPoints.lean, branch main [WIP] Formaliziation of the coalgebraic mu-calculus in Lean 4. https://git.haschu.me/haschu/coalgebraic-mu-calculus.git/atom/CoalgebraicMuCalculus/FixedPoints.lean?h=main 2026-07-14T18:02:37Z restructure 2026-07-14T18:02:37Z Hannes Schulze contact@haschu.me 2026-07-14T18:01:36Z urn:sha1:fe38333f3152f1757f9b85d47aec2e23b33aacce