Property verification with Values#66

Draft

BenGGneB wants to merge 6 commits into

symbolic_with_values

Commits on Mar 20, 2026

symbolic proofs on lists
BenGGneB
committed

Commits on Mar 28, 2026

solving basic statements about recursive functions of lists
BenGGneB
committed

Commits on Apr 3, 2026

prove zip-unzip reverse relation with an axiom of the lazy evaluation of their combination
BenGGneB
committed

Commits on Apr 26, 2026