Skip to content

proof-stat: minor corrections + new feature to mark failing proofs in the sources #684

proof-stat: minor corrections + new feature to mark failing proofs in the sources

proof-stat: minor corrections + new feature to mark failing proofs in the sources #684

Annotations

8 errors and 3 warnings

simple-tests (coq-8.13.2-emacs-27.2)

succeeded Apr 30, 2024 in 1m 58s