Structure X

Modification history

2025-06-17 18:33
MathlibTest/CommandStart.lean
feat: a linter to enforce formatting (#24465) …
Added XView on Github →
2025-05-19 10:23
MathlibTest/DocString.lean
fix(docstring linter): inspect also internal docstrings (#24673) …
Added XView on Github →
2022-10-23 12:09
test/Simps.lean
feat: port simps (#445) …
Deleted XView on Github →
2021-11-30 14:22
test/Simps.lean
feat: no-operation simps attribute, to avoid unnecessary errors in mathport output (#106) …
Added XView on Github →