haschu/coalgebraic-mu-calculus.git/SymbolicModalLogic/Instances, branch main [WIP] Formaliziation of the coalgebraic mu-calculus in Lean 4. https://git.haschu.me/haschu/coalgebraic-mu-calculus.git/atom/SymbolicModalLogic/Instances?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 start formalizing alternation depth 2026-06-20T13:57:49Z Hannes Schulze contact@haschu.me 2026-06-20T13:57:49Z urn:sha1:d63be9758d9d83bc9320bed4ab73a81c92c815e4 refactoring 2026-06-19T14:05:32Z Hannes Schulze contact@haschu.me 2026-06-19T14:05:32Z urn:sha1:aa03bb5570c2d0189b6606b7b42a52c302f6fe5f relational mu calculus 2026-06-14T22:01:45Z Hannes Schulze contact@haschu.me 2026-06-14T22:01:45Z urn:sha1:e9ef4cb62cda496667507d47686d7e167f83a126