Skip to content

proof-shell: indentation fix #207

proof-shell: indentation fix

proof-shell: indentation fix #207

Annotations

2 warnings

test (coq-8.19.1-emacs-29.1)

succeeded Apr 15, 2024 in 1m 40s