search

impermeable / coq-waterproof

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

fix: Compatibility with compilers >= 4.09.0 #45

Closed jim-portegies closed 7 months ago