10 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
spass 3.9-1 1 0.00 An Automated Theorem Prover for First-Order Logic with Equality. eugenk 2022-09-27 17:49 (UTC)
pellet 20150814.bb99c19-2 1 0.00 Pellet is an OWL 2 reasoner in Java eugenk 2016-03-14 10:18 (UTC)
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 2017-02-26 11:09 (UTC)
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 2017-02-26 11:08 (UTC)
hets-lib 20141215.ecafeec-2 0 0.00 Basic libraries and other examples for Hets eugenk 2016-08-19 08:39 (UTC)
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 2017-02-26 11:08 (UTC)
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 2017-02-26 11:07 (UTC)
hets-commons-bin 0.99_1484075143-1 0 0.00 Common files of Hets eugenk 2017-02-26 11:07 (UTC)
hets-commons 0.99_1484075143-1 0 0.00 Common files of Hets eugenk 2017-02-26 11:06 (UTC)
darwin 1.4.5-2 0 0.00 The darwin prover suite. http://combination.cs.uiowa.edu/Darwin/ eugenk 2016-02-24 15:04 (UTC)

10 packages found. Page 1 of 1.