diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-10-25 01:07:56 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-10-25 01:07:56 +0200 |
| commit | c3700706466cb8fb9ed287ea066b656caacdc9c7 (patch) | |
| tree | 1c999654b8d989e90e697040a9c1d3a2a700c2ac /Nominal/Instances/Basic.lean | |
| parent | 6df3f662f0f23e837b70ef1f4a8b8dde4a7aa521 (diff) | |
start working on alpha equivalence proofs
Diffstat (limited to 'Nominal/Instances/Basic.lean')
0 files changed, 0 insertions, 0 deletions