search

SkySkimmer / coq-ltac2-compiler

GNU Lesser General Public License v2.1
5 stars 0 forks source link

Fix mutable skipping in recursive mode #15

Closed SkySkimmer closed 1 year ago

SkySkimmer commented 1 year ago

I guess I never actually tested it? Not sure how it would ever have worked.

Fix #14