Interval Arithmetic Tactics - Infrastructure #
This module provides infrastructure for the interval arithmetic tactics:
Types: Core data structuresNorm: Goal normalizationExtract: Rational extractionParse: Goal parsingDiagnostic: Error reportingProveCommon: Shared utilities
The main tactics are in LeanCert.Tactic.IntervalAuto.