cafeobj 694
variants universal 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 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 license BSD categories lang version 1.5.7 revision 0
