search

coq-community / fav-ssr

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

Prove Akra-Bazzi light #6

Open clayrat opened 2 years ago

clayrat commented 2 years ago

https://github.com/clayrat/fav-ssr/blob/trunk/src/selection.v#L842

clayrat commented 1 year ago

Isabelle: https://isa-afp.org/entries/Akra_Bazzi.html