import Macros.ident_to_string from bedrock2 - Githubissues

mit-plv / coqutil

Coq library for tactics, basic definitions, sets, maps

MIT License

41 stars 24 forks source link

import Macros.ident_to_string from bedrock2 #46

Closed andres-erbsen closed 2 years ago