HomePhabricator

moved Interval and Interval_Approximation to isabelle

Authored by immler.

Description

moved Interval and Interval_Approximation to isabelle

Details

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