search

impermeable / coq-waterproof

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

Merge 8.17 into main #61

Closed jim-portegies closed 2 months ago

jim-portegies commented 2 months ago

Most relevant changes is that we only declare one plugin (See PR #58 ).