Skip to content

Small Linting of the code base to have a tab of 2#266

Draft
thomas-lamiaux wants to merge 2 commits into
rocq-prover:masterfrom
thomas-lamiaux:linter
Draft

Small Linting of the code base to have a tab of 2#266
thomas-lamiaux wants to merge 2 commits into
rocq-prover:masterfrom
thomas-lamiaux:linter

identation tab 2 Module Section Proof

cf0dbb5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
rocq-core
succeeded May 17, 2026 in 1m 7s