search

impermeable / coq-waterproof

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

fix: add internal unfold for general terms and tests for internal unfold #27

Closed jim-portegies closed 10 months ago