Programming language with formal specification features

Current versions

ats2-postiats requires the following formula to be installed:
gmp 6.1.2_1 GNU multiple precision arithmetic library

Formula history

ilovezfs Use “squiggly” heredocs.
ilovezfs ats2-postiats 0.3.7
ilovezfs ats2-postiats 0.3.6
Alexander Hamann ats2-postiats 0.3.3
Ryan King ats2-postiats 0.2.13
William Sewell ats2-postiats 0.2.11
ilovezfs ats2-postiats: build with clang
Dominyk Tiller ats2-postiats 0.2.6
Hiroshi Hatake ats2-postiats 0.2.4
Hiroshi Hatake ats2-postiats 0.2.3
Show all revisions of this formula