haschu/coalgebraic-mu-calculus.git, branch main
[WIP] Formaliziation of the coalgebraic mu-calculus in Lean 4.
https://git.haschu.me/haschu/coalgebraic-mu-calculus.git/atom/?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
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
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