haschu/coalgebraic-mu-calculus.git/SymbolicModalLogic/AlternationDepth.lean, branch main
[WIP] Formaliziation of the coalgebraic mu-calculus in Lean 4.
https://git.haschu.me/haschu/coalgebraic-mu-calculus.git/atom/SymbolicModalLogic/AlternationDepth.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
define alternation depth
2026-07-14T18:00:07Z
Hannes Schulze
contact@haschu.me
2026-07-14T18:00:07Z
urn:sha1:e635d2acc874704839b41d0e4ddecc97fd4b1dd7
start formalizing alternation depth
2026-06-20T13:57:49Z
Hannes Schulze
contact@haschu.me
2026-06-20T13:57:49Z
urn:sha1:d63be9758d9d83bc9320bed4ab73a81c92c815e4