diff options
| author | Raito Bezarius | 2024-03-28 17:59:35 +0100 |
|---|---|---|
| committer | Raito Bezarius | 2024-03-28 20:30:56 +0100 |
| commit | 5e35e3875884ca4be63f253d9e8d7f2fc71b3527 (patch) | |
| tree | ce607fcdda121b87b133791d5e708c6809559a20 /AvlVerification.lean | |
| parent | 33a92dac2635ead90cb84c16023355a7d679d434 (diff) | |
refactor: generalize the theory and perform some lifts
Move forward the "HSpec" idea, move around files, construct the hierarchy of trees, etc.
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
Diffstat (limited to 'AvlVerification.lean')
0 files changed, 0 insertions, 0 deletions