diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-10-27 22:26:48 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-10-27 22:26:48 +0100 |
| commit | 4d52488841dd687bc0ffd0f468bae1ab64f495fc (patch) | |
| tree | 7d88788de13269d41ce7549601bee2e525e30f0d /Nominal/LambdaCalculus/Preterms.lean | |
| parent | b3f26f306945ec9e391140f1645012ba11decb40 (diff) | |
wip: name abstractions form a nominal set
Diffstat (limited to 'Nominal/LambdaCalculus/Preterms.lean')
0 files changed, 0 insertions, 0 deletions