Skip to content

overlay for coq/coq#12162

Olivier Laurentrequested 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