Skip to content

Add dependency to coq-elpi in coq-corn.dev#3247

Merged
MSoegtropIMC merged 1 commit intocoq:masterfrom MSoegtropIMC:corn-elpi-devDec 16, 2024

Commits

Commits on Dec 16, 2024