Skip to content

alternative overlay for coq/coq#12162

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

This is an alternative to !153 (closed) which follows the spirit of !156 (closed). It is adapted to the last version of coq/coq#12162 which takes into account the introduction of Bool.lt.

Merge request reports