ODE tactic tries to automatically prove differential equation systems [{x'=f(x) & Q}]P and is especially good at proving invariants. Complicated cases may benefit from other more dedicated proof rules to obtain faster proofs.

See also

Learning resources