Skip to content

adapt to elpi 2.0

adapt to elpi 2.0 #94

Annotations

10 warnings

build (coqorg/coq:8.18)

succeeded Nov 28, 2024 in 11m 17s