coq icon indicating copy to clipboard operation
coq copied to clipboard
verified publisher icon coq

Ltac2 conversion of reference to message/string

Open JasonGross opened this issue 2 months ago • 0 comments

Is your feature request related to a problem?

I'd like to be able to convert references to message/string

Proposed solution

No response

Alternative solutions

No response

Additional context

No response

JasonGross avatar Oct 27 '25 20:10 JasonGross