search

impermeable / coq-waterproof

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

feat: deal with Rabs Rmax Rmin more easily by destructing them #20

Closed jim-portegies closed 11 months ago