diff options
| author | Hannes Schulze <contact@haschu.me> | 2026-07-14 20:00:07 +0200 |
|---|---|---|
| committer | Hannes Schulze <contact@haschu.me> | 2026-07-14 20:00:07 +0200 |
| commit | e635d2acc874704839b41d0e4ddecc97fd4b1dd7 (patch) | |
| tree | 709511cd2852d1e7bb38384f7ca6bd4bbd1d5fa4 /SymbolicModalLogic/Instances | |
| parent | d63be9758d9d83bc9320bed4ab73a81c92c815e4 (diff) | |
define alternation depth
Diffstat (limited to 'SymbolicModalLogic/Instances')
0 files changed, 0 insertions, 0 deletions