Def ringToGrind

Modification history

2025-09-16 13:27

Mathlib/Tactic/TacticAnalysis/Declarations.lean

feat: generalize terminal tactic analysis (#29694) …

Deleted ringToGrind View on Github →

2025-09-15 13:59

Mathlib/Tactic/TacticAnalysis/Declarations.lean

feat(CI): `nightly-testing` regression report (#29506) …

Modified ringToGrind View on Github →

2025-08-14 23:22

Mathlib/Tactic/TacticAnalysis/Declarations.lean

feat: tactic analysis framework (#26683) …

Added ringToGrind View on Github →