search

coq / stdlib2

GNU Lesser General Public License v2.1
39 stars 9 forks source link

[coq] Adapt to coq/coq#8764 #18

Closed proux01 closed 5 years ago

ejgallego commented 5 years ago

Please merge, Coq PR has been merged upstream,