feat: Permute and Flip - #81

Open

Shoeboxam wants to merge 5 commits into

leanprover:mainfrom

Shoeboxam:permute-and-flip

Commits on Jul 6, 2026

initial permute-and-flip
Shoeboxam
committed
ddf67a1
add bridge to PureDP
Shoeboxam
committed
a6440bb
add peeling generalization
Shoeboxam
committed
d1c5a83
polish imports and headers
Shoeboxam
committed
ec433e6
update readme
Shoeboxam
committed
a8db145