Skip to content

proof-shell: indentation fix #207

proof-shell: indentation fix

proof-shell: indentation fix #207

Annotations

2 warnings

compile-tests (coq-8.16.1-emacs-26.3)

succeeded Apr 15, 2024 in 4m 39s