직업 분류
미분류
설명
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,…
원문 언어: 영어
업데이트