Background TLA+のツールセットにはSpecをLaTeXドキュメントとして出力する機能があります。 Example: 最近、この機能を拙作のTLA+ intellij pluginにintegrateできないか考えていました。 公式のTLA+ toolboxやVS Code pluginにはintegrateされていてSpecを…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。