EasyChair Smart SlideUser guide
Author: Makarius Wenzel

This page shows all presentations of this author published in EasyChair Smart Slide.

Isabelle/jEdit as IDE for domain-specific formal languages and informal text documents

Isabelle/jEdit as IDE for domain-specific formal languages and informal text documents

Makarius Wenzel

Isabelle/PIDE after 10 years of development

Isabelle/PIDE after 10 years of development

Makarius Wenzel

Further Scaling of Isabelle Technology

Further Scaling of Isabelle Technology

Makarius Wenzel

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair