summaryrefslogtreecommitdiff
path: root/Main.lean (unfollow)
Commit message (Collapse)AuthorFilesLines
2024-03-28refactor: generalize the theory and perform some liftsRaito Bezarius1-107/+15
Move forward the "HSpec" idea, move around files, construct the hierarchy of trees, etc. Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
2024-03-26feat: first property "set of values post = {a} \cup set of values pre"Raito Bezarius1-25/+62
This is a first property which is generic of all BSTs. Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
2024-03-25Initial extractionRaito Bezarius1-0/+91
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>