search

ocadaruma / tlaplus-intellij-plugin

Intellij plugin for TLA+ formal specification language.
Apache License 2.0
52 stars 2 forks source link

TLAPS integration #25

Open ocadaruma opened 2 years ago

lemmy commented 2 years ago

Related: https://github.com/tlaplus/vscode-tlaplus/issues/153 - Decompose Proof handle should be refactored into TLC or a standalone tool.

lemmy commented 2 years ago

FYI @muenchnerkindl