HomeIsabelle/Phabricator

moved Interval and Interval_Approximation to isabelle

Authored by immler.

Description

moved Interval and Interval_Approximation to isabelle

Details

Committed
immlerNov 5 2019, 3:55 PM
Parents
rAFPc5c88012f116: fixed a failing (and ugly) proof
Branches
Unknown
Tags
Unknown