search

mit-plv / coqutil

Coq library for tactics, basic definitions, sets, maps
MIT License
41 stars 24 forks source link

Garbage-collect options in sanity.v #80

Closed andres-erbsen closed 6 months ago