metacoq icon indicating copy to clipboard operation
metacoq copied to clipboard
verified publisher icon MetaCoq

PCUIC should support easy translation from template-polymorphic and universe-polymorphic-with-variance inductives

Open JasonGross opened this issue 3 years ago • 0 comments

See https://github.com/MetaCoq/metacoq/pull/789#discussion_r1041398055

JasonGross avatar Dec 14 '22 15:12 JasonGross