Theorem fo₁

Modification history

2024-07-19 17:46
test/HashCommandLinter.lean
chore: remove `#align`-oriented linters (#14909) …
Deleted fo₁View on Github →
2024-05-24 03:47
test/HashCommandLinter.lean
feat: syntax linter for `#`-commands (#11019) …
Added fo₁View on Github →