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

`tmDefinition` should support polymorphic definitions

Open JasonGross opened this issue 2 years ago • 0 comments

JasonGross avatar Feb 14 '23 17:02 JasonGross