Workbrew catalog

Formula

ats2-postiats

Programming language with formal specification features

Version: 0.4.2
License: GPL-3.0-only
Homepage: https://www.cs.bu.edu/~hwxi/atslangweb/
Installs (30 days): 3
Tags: programming-language

brew install ats2-postiats

Deploy any of these packages across your fleet in minutes.

Book a demo See pricing