Def omegaToCutsat

Modification history

2025-12-14 13:26
Mathlib/Tactic/TacticAnalysis/Declarations.lean
chore: bump toolchain to v4.27.0-rc1 (#32874)
Deleted omegaToCutsatView on Github →
2025-09-16 13:27
Mathlib/Tactic/TacticAnalysis/Declarations.lean
feat: generalize terminal tactic analysis (#29694) …
Added omegaToCutsatView on Github →