add Tactics.ident_of_string - Githubissues

mit-plv / coqutil

Coq library for tactics, basic definitions, sets, maps

MIT License

42 stars 24 forks source link

add Tactics.ident_of_string #47

Closed andres-erbsen closed 2 years ago