Structure F

Modification history

2025-11-26 08:45

MathlibTest/EmptyLine.lean

feat: the empty line in commands linter (#25945) …

Added F View on Github →

2024-10-09 08:43

test/NthRewrite.lean

chore: adaptations for lean4#5542 (#17564) …

Modified F View on Github →

2023-04-17 07:18

test/NthRewrite.lean

chore: copy over some nth_rewrite tests from mathlib3 (#3462) …

Added F View on Github →