Skip to content

Merge pull request #212 from gares/elpi-2.0 #95

Merge pull request #212 from gares/elpi-2.0

Merge pull request #212 from gares/elpi-2.0 #95

Annotations

10 warnings

build (coqorg/coq:8.18)

succeeded Nov 28, 2024 in 11m 21s