ats2-postiats

Programming language with formal specification features

http://www.ats-lang.org/

Current versions:

stable 0.3.10
bottle 🍾 high_sierra, sierra, el_capitan

Depends on:

gmp 6.1.2 GNU multiple precision arithmetic library

JSON API for ats2-postiats

Formula code on GitHub

Fork me on GitHub