haschu/coalgebraic-mu-calculus.git/SymbolicModalLogic.lean, branch main [WIP] Formaliziation of the coalgebraic mu-calculus in Lean 4. https://git.haschu.me/haschu/coalgebraic-mu-calculus.git/atom/SymbolicModalLogic.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 fixed point theorems 2026-06-15T19:00:06Z Hannes Schulze contact@haschu.me 2026-06-15T19:00:06Z urn:sha1:44cbada3881c34d81bd8a74f041eaf7469f1ac74 relational mu calculus 2026-06-14T22:01:45Z Hannes Schulze contact@haschu.me 2026-06-14T22:01:45Z urn:sha1:e9ef4cb62cda496667507d47686d7e167f83a126 initial commit 2026-06-12T17:00:37Z Hannes Schulze contact@haschu.me 2026-06-12T17:00:37Z urn:sha1:4b53e65306cdafff989dbfe58cf03311ad325118