Skip to content

syntax for coq-elpi 2.0 #10

syntax for coq-elpi 2.0

syntax for coq-elpi 2.0 #10

Annotations

1 warning

build (latest)

succeeded Nov 28, 2024 in 12s