haschu/coalgebraic-mu-calculus.git/SymbolicModalLogic/FixedPoints.lean, branch main [WIP] Formaliziation of the coalgebraic mu-calculus in Lean 4. https://git.haschu.me/haschu/coalgebraic-mu-calculus.git/atom/SymbolicModalLogic/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 refactoring 2026-06-19T14:05:32Z Hannes Schulze contact@haschu.me 2026-06-19T14:05:32Z urn:sha1:aa03bb5570c2d0189b6606b7b42a52c302f6fe5f fixed point theorems 2026-06-15T19:00:06Z Hannes Schulze contact@haschu.me 2026-06-15T19:00:06Z urn:sha1:44cbada3881c34d81bd8a74f041eaf7469f1ac74