batteries icon indicating copy to clipboard operation
batteries copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat: add bisection algorithm

Open fgdorais opened this issue 1 year ago • 0 comments

General purpose bisection algorithm.

fgdorais avatar Jul 22 '24 11:07 fgdorais