diff options
| author | Hannes Schulze <contact@haschu.me> | 2026-06-15 00:01:45 +0200 |
|---|---|---|
| committer | Hannes Schulze <contact@haschu.me> | 2026-06-15 00:01:45 +0200 |
| commit | e9ef4cb62cda496667507d47686d7e167f83a126 (patch) | |
| tree | 1b4836a99049806c305d2d3a49ca2ea4258d3a74 /SymbolicModalLogic/AlternationDepth.lean | |
| parent | 4b53e65306cdafff989dbfe58cf03311ad325118 (diff) | |
relational mu calculus
Diffstat (limited to 'SymbolicModalLogic/AlternationDepth.lean')
0 files changed, 0 insertions, 0 deletions