Ltac2 wizardy to convert a gallina identifier to a coq string.
-
Notifications
You must be signed in to change notification settings - Fork 0
Ltac2 wizardy to convert a gallina identifier to a coq string.
License
mit-plv/coq-ident-to-string
About
Ltac2 wizardy to convert a gallina identifier to a coq string.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published