search

impermeable / coq-waterproof

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

feat: create option to print rewrite hints #44

Closed jim-portegies closed 7 months ago