Theorem p

Modification history

2025-10-28 09:17
MathlibTest/TacticAnalysis.lean
feat: linters to try hammers at every step (#30808) …
Added pView on Github →