Skip to content

Type preservation

Type preservation #49

Annotations

1 warning

build (coqorg/coq:8.18)

succeeded Mar 12, 2024 in 2m 51s