diff options
| author | Hannes Schulze <contact@haschu.me> | 2026-06-19 16:05:32 +0200 |
|---|---|---|
| committer | Hannes Schulze <contact@haschu.me> | 2026-06-19 16:05:32 +0200 |
| commit | aa03bb5570c2d0189b6606b7b42a52c302f6fe5f (patch) | |
| tree | d75bf59ef1a26c0f3e89ee782516c070ccdbe6ef /SymbolicModalLogic/Instances/git@haschu.me:haschu | |
| parent | 44cbada3881c34d81bd8a74f041eaf7469f1ac74 (diff) | |
refactoring
Diffstat (limited to 'SymbolicModalLogic/Instances/git@haschu.me:haschu')
0 files changed, 0 insertions, 0 deletions