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

thomas-lamiaux wants to merge 2 commits into

rocq-prover:masterrocq-prover/stdlib:masterfrom

thomas-lamiaux:linterthomas-lamiaux/stdlib:linterCopy head branch name to clipboard