search

impermeable / coq-waterproof

GNU Lesser General Public License v3.0
29 stars 9 forks source link

Revert "Adapt to coq/coq#17836 (sort poly)" #26

Closed jim-portegies closed 10 months ago

jim-portegies commented 10 months ago

Reverts impermeable/coq-waterproof#24