GitHub repository: ocadaruma/tlaplus-intellij-plugin
Primary language: Java
Created: 2021-02-07T18:11:01Z
Description: Intellij plugin for TLA+ formal specification language.