HomeIsabelle/Phabricator
User-defined Isabelle server commands via isabelle_scala_service
Written by makarius on Aug 17 2020, 7:07 PM.
User
Projects
None
Subscribers
None

Event Timeline