Skip to content

Adapted the readme to the new "especialize with' syntax. #19

Adapted the readme to the new "especialize with' syntax.

Adapted the readme to the new "especialize with' syntax. #19

Annotations

1 warning

build (coqorg/coq:8.20)

succeeded Dec 20, 2024 in 2m 17s