Skip to content

Support for synterp (Coq 8.18)#557

Merged
gares merged 2 commits intomasterfrom fix-synterpDec 8, 2023

Commits

Commits on Dec 5, 2023

Commits on Dec 8, 2023