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.lean | |
| parent | 4b53e65306cdafff989dbfe58cf03311ad325118 (diff) | |
relational mu calculus
Diffstat (limited to 'SymbolicModalLogic.lean')
| -rw-r--r-- | SymbolicModalLogic.lean | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/SymbolicModalLogic.lean b/SymbolicModalLogic.lean index e69de29..5fbdbe6 100644 --- a/SymbolicModalLogic.lean +++ b/SymbolicModalLogic.lean @@ -0,0 +1,2 @@ +import SymbolicModalLogic.MuCalculus +import SymbolicModalLogic.Instances.Relational |