Skip to content

Take relevance into account for typing#1101

Open
yannl35133 wants to merge 1 commit intoMetaCoq:coq-8.19from Yann-Leray:relevance-typing

Commits