10 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
darwin 1.4.5-2 0 0.00 The darwin prover suite. http://combination.cs.uiowa.edu/Darwin/ eugenk
hets-commons 0.99_1484075143-1 0 0.00 Common files of Hets eugenk
hets-commons-bin 0.99_1484075143-1 0 0.00 Common files of Hets eugenk
hets-desktop 0.99_1484075143-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hets-desktop-bin 0.99_1484075143-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hets-lib 20141215.ecafeec-2 0 0.00 Basic libraries and other examples for Hets eugenk
hets-server 0.99_1484075143-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hets-server-bin 0.99_1484075143-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
pellet 20150814.bb99c19-2 1 0.00 Pellet is an OWL 2 reasoner in Java eugenk
spass 3.9-1 1 0.00 An Automated Theorem Prover for First-Order Logic with Equality. eugenk

10 packages found. Page 1 of 1.