Skip to content

proof-shell: indentation fix #651

proof-shell: indentation fix

proof-shell: indentation fix #651

Annotations

8 errors and 2 warnings

simple-tests (coq-8.15.2-emacs-29.2)

succeeded Apr 18, 2024 in 2m 29s