Sketis

Search
Skip to content
  • Desert
  • Isabelle
    • Isabelle Workshop 2022
    • Isabelle Workshop 2020
    • Isabelle Workshop 2018
  • Main
  • Impressum
Isabelle, ML

Isabelle/PIDE as IDE for ML

Sat 27-Aug-2016 Makarius

At the Isabelle Workshop 2016 in Nancy, I presented Isabelle/PIDE as IDE for ML. See also the outline of the main concepts and examples, together with the full demo setup.

Post navigation

Previous PostThe Isar proof language in 2016Next PostGrant Olney Passmore on Formal Verification of Financial Algorithms

Website of Dr. Makarius Wenzel

Recent Posts

  • Isabelle Workshop 2022 at FLoC
  • After Phabricator: We Phorge It!
  • Augsburg.One – Nachhaltige Digitalisierung in Augsburg
  • Dr. Christian Kreiß: Die Jahrhundertrezession – Wie geht es weiter?
  • Mercurial Hosting of Isabelle/AFP on Heptapod

Archives

  • June 2022
  • October 2021
  • November 2020
  • September 2020
  • June 2020
  • March 2020
  • January 2020
  • December 2019
  • November 2019
  • July 2019
  • June 2019
  • May 2019
  • April 2019
  • February 2019
  • November 2018
  • October 2018
  • August 2018
  • July 2018
  • June 2018
  • May 2018
  • March 2018
  • February 2018
  • December 2017
  • November 2017
  • October 2017
  • August 2017
  • July 2017
  • April 2017
  • February 2017
  • January 2017
  • December 2016
  • November 2016
  • September 2016
  • August 2016
  • June 2016
  • May 2016
  • April 2016
  • March 2016
  • February 2016
  • January 2016
  • December 2015
  • November 2015
  • July 2015
  • May 2015
  • April 2015
  • March 2015
  • February 2015
  • January 2015
  • December 2014
  • November 2014

Categories

  • Admin
  • Coq
  • Global Financial System
  • Isabelle
  • Lean Prover
  • Local
  • Media
  • ML
  • PIDE
  • Proposals
  • Science

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org
Proudly powered by WordPress