Closed olaure01 closed 1 year ago
Use [Bool.le] and [Bool.le_implb] instead of deprecated [Bool.leb] and [Bool.leb_implb] (coq/coq#16920).
Use [Bool.le] and [Bool.le_implb] instead of deprecated [Bool.leb] and [Bool.leb_implb] (coq/coq#16920).