Proof Automation - Automation in Isabelle's Analysis
Add to your list(s)
Download to your calendar using vCal
If you have a question about this talk, please contact INI IT.
This talk has been canceled/deleted
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.
This talk is part of the Isaac Newton Institute Seminar Series series.
This talk is included in these lists:
This talk is not included in any other list
Note that ex-directory lists are not shown.
|