diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2025-10-24 00:54:44 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2025-10-24 00:54:44 +0200 |
| commit | 96164bc58172cbec5579e8bf38933dfb5cc51381 (patch) | |
| tree | fece630901bbe4749075af5a8d39bbcca296b865 /flake.nix | |
| parent | 52da7e6960ea5eedb7374be07aa065a8f34128b8 (diff) | |
proof sketch for proving different AlphaEq characterizations
Diffstat (limited to 'flake.nix')
0 files changed, 0 insertions, 0 deletions