The Isabelle Prover IDE (PIDE) after 9 years of development, and beyond

Add to your list(s) Download to your calendar using vCal

• Makarius Wenzel (Other)
• Wednesday 26 July 2017, 13:30-14:30
• Seminar Room 2, Newton Institute.

If you have a question about this talk, please contact INI IT.

This talk has been canceled/deleted

The main ideas around Isabelle/PIDE go back to summer 2008. This is an overview of what has been achieved in the past 9 years, with some prospects for the future. Where can we go from here as Isabelle community? (E.g. towards alternative front-ends like Visual Studio Code; remote prover sessions “in the cloud”; support for collaborative editing of large formal libraries.) Where can we go as greater ITP community (Lean, Coq, HOL family)?

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.