SkySkimmer / coq-ltac2-compiler

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

Put safety thunking in auxiliary function #22

Closed SkySkimmer closed 9 months ago