Skip to content

Ltac2 conversion of reference to message/string #21236

@JasonGross

Description

@JasonGross

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    kind: wishFeature or enhancement requests.part: ltac2Issues and PRs related to the (in development) Ltac2 tactic langauge.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions