Skip to content

Small proof repair + coq-action update #27

Small proof repair + coq-action update

Small proof repair + coq-action update #27

Annotations

1 error and 4 warnings

build (8.14, default)

failed Apr 17, 2024 in 1m 41s