Skip to content

proof-shell: indentation fix #207

proof-shell: indentation fix

proof-shell: indentation fix #207

Annotations

2 warnings

test-indent (28.1)

succeeded Apr 15, 2024 in 37s