Skip to content

[coq_elpi_builtins] change error msg accumulating non-closed clause in a db#706

Merged
gares merged 3 commits intoLPCIC:masterfrom FissoreD:ce-not-ground-clause-acc-errorOct 25, 2024
+1-1

Commits