Skip to content

Add PCUICESubst file to verify Coq code#1099

Open
yannl35133 wants to merge 1 commit intoMetaCoq:coq-8.19from Yann-Leray:esubst
+2,790

Commits

Commits on Nov 12, 2024