search

impermeable / coq-waterproof

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

Change importing Ltac2 modules and build only with dune #17

Closed jim-portegies closed 11 months ago

jellooo038 commented 11 months ago

looks okay :)

jellooo038 commented 11 months ago

close