Def testSorryTac

Modification history

2026-04-05 12:58

MathlibTest/Linarith/Basic.lean

chore: modulize tests (5/N) (#37654)

Deleted testSorryTac View on Github →

2024-11-18 05:29

MathlibTest/linarith.lean

perf: hard-code typeclass inference in linarith (#18714) …

Added testSorryTac View on Github →