issues
search
mit-plv
/
coqutil
Coq library for tactics, basic definitions, sets, maps
MIT License
42
stars
24
forks
source link
add Tactics.ident_of_string
#48
Closed
andres-erbsen
closed
2 years ago