Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle/VSCode


view this post on Zulip Email Gateway (Aug 22 2022 at 14:59):

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: Mar 29 2024 at 12:28 UTC