Def test

Modification history

2026-05-29 13:23

MathlibTest/Linter/TextBased.lean

chore: bump toolchain to v4.31.0-rc1 (#39980)

Added test View on Github →

2025-08-20 02:52

MathlibTest/reduce_mod_char.lean

chore: deduplicate "transform at location" methods (#27562) …

Added test View on Github →

2022-10-23 12:09

test/Simps.lean

feat: port simps (#445) …

Added test View on Github →