Def P

Modification history

2025-10-28 09:17
MathlibTest/TacticAnalysis.lean
feat: linters to try hammers at every step (#30808) …
Added PView on Github →
2023-10-20 16:10
test/says.lean
fix(says tactic): Don’t stumble over `Try this:\n` instead of `Try this:␣` (#7803) …
Added PView on Github →
2023-09-20 04:57
test/linarith.lean
chore(test/*): add `test_sorry` axiom in tests to make them less noisy (#6868) …
Modified PView on Github →
2023-05-06 12:10
test/linarith.lean
feat: enable cancel_denoms preprocessor in linarith (#3801) …
Added PView on Github →