@informalsystems/quint (npm): Core tool for the Quint specification language
Keywords: temporal|logic|formal|specification|verification|apalache|language|quint|tlaplus