cafeobj 675
depends_build bin:sbcl:sbcl portdir lang/cafeobj description {New generation algebraic specification and programming language} homepage http://cafeobj.org/ epoch 0 platforms linux name cafeobj license BSD long_description {CafeOBJ is a language for writing formal (i.e. mathematical) specifications of models for wide varieties of software and systems, and verifying properties of them. CafeOBJ implements equational logic by rewriting and can be used as a powerful interactive theorem proving system. Specifiers can write proof scores also in CafeOBJ and doing proofs by executing the proof scores.} maintainers cafeobj.org:preining version 1.5.5 categories lang revision 0
