Changeset 53606
 Timestamp:
 Jul 9, 2009, 5:53:06 PM (10 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

trunk/dports/PortIndex
r53604 r53606 4664 4664 variants universal portdir math/isabelle description {Isabelle is a popular generic theorem proving environment.} homepage http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ epoch 0 platforms darwin name isabelle depends_lib port:polyml long_description {Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols.} maintainers mww categories {math lang ml} version 2009 revision 0 4665 4665 isabelledevel 797 4666 variants universal portdir math/isabelledevel description {Isabelle is a popular generic theorem proving environment} homepage http://isabelle.in.tum.de/ epoch 0 platforms darwin name isabelledevel depends_lib port:polyml long_description {Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols. This version is a development snapshot of the upcoming 2008 release.} maintainers mww categories {math lang ml} version 2009070 5revision 04666 variants universal portdir math/isabelledevel description {Isabelle is a popular generic theorem proving environment} homepage http://isabelle.in.tum.de/ epoch 0 platforms darwin name isabelledevel depends_lib port:polyml long_description {Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols. This version is a development snapshot of the upcoming 2008 release.} maintainers mww categories {math lang ml} version 20090708 revision 0 4667 4667 itl 720 4668 4668 variants universal portdir math/itl description {Iterative Template Library (based on MTL)} homepage http://www.osl.iu.edu/research/itl/ epoch 0 platforms darwin name itl depends_lib {port:blitz port:mtl} long_description {The Iterative Template Library (ITL) is a generic component library that provides iterative methods for solving linear systems. ITL also provides numerious preconditioners which is for MTL. ITL uses the abstract interface of matrixvector, vectorvector, and vectorscalor operations MTL is default to serve those operations. ITL is able to use other packages such as Blitz++ and BLAS with the same abstract interface provided.} maintainers nomaintainer categories math version 4.0.01 revision 0
Note: See TracChangeset
for help on using the changeset viewer.