diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-10-30 11:29:19 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-10-30 11:29:19 +0100 |
| commit | ca0c7d5e75a631d0e6689ee21d017404046f3f12 (patch) | |
| tree | a3b3f376ce945c51e86885b30f60337e6260cf20 /Nominal/Instances.lean | |
| parent | 5dde77b6db9fc78094363f91e0c6643a84be513e (diff) | |
implement lambda preterms
Diffstat (limited to 'Nominal/Instances.lean')
0 files changed, 0 insertions, 0 deletions