impermeable / coq-waterproof

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

Refactor: incorporate some changes from 8.17 and update version numbers #57

Closed jim-portegies closed 2 months ago