Def testSorryTac

Modification history

2024-11-18 05:29
MathlibTest/linarith.lean
perf: hard-code typeclass inference in linarith (#18714) …
Added testSorryTacView on Github →