search

coq-community / fav-ssr

Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
MIT License
45 stars 7 forks source link

Tree rotations (5.5) #12

Closed clayrat closed 2 months ago

clayrat commented 1 year ago

http://isabelle.in.tum.de/library/HOL/HOL-Data_Structures/Tree_Rotations.html, seems to be a recent addition to the book