Beruf
nicht klassifiziert
Beschreibung
Activate when the user asks to work on an Isabelle session or theory (`.thy`) — make changes, develop a proof, fix a proof, resolve a sorry, refactor tactics, chase down an error. Prefer over `isabelle build`. If the user has not already picked a tool,…
Quellsprache: Englisch
Aktualisiert