Skip to content

overlay for coq/coq#12162

Olivier Laurent requested to merge olaure01/stdpp:bool-leb into master

The PR coq/coq#12162 renames Bool.leb into Bool.le which is more coherent with the rest of the standard library since it has type bool -> bool -> Prop. This generates possible clashes with Nat.le or Peano.le so that additional qualification is required.

Merge request reports