Presented by:
Johannes Hölzl
Date:
Monday 3rd July 2017 - 15:30 to 16:30
Venue:
INI Seminar Room 2
Event:
Abstract:
It is essential in Isabelle's analysis library has
special support to handle
continuity, measurability, and differentiability, etc. This is quite
different to *big* automation like SMT or what Sledgehammer does.
special support to handle
continuity, measurability, and differentiability, etc. This is quite
different to *big* automation like SMT or what Sledgehammer does.
Presentation Material:
