From: Makarius <makarius@sketis.net> Dear Isabelle users,
see http://sketis.net/2017/visual-studio-code-as-prover-ide-for-isabelle about ongoing moves towards more Prover IDE applications.
Makarius
Last updated: Apr 30 2025 at 08:27 UTC