Home My Page Projects Zenon (automated theorem prover)
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files Mediawiki

Public Tools
Tracker  Tracker
There are no trackers available
 Public Forums (0 messages in 0 forums)
Mailing Lists (1 public mailing list)
There are no subprojects available
SCM Repository (Git: 1,225 updates, 1,508 adds)
Project description

Automated theorem prover for first order logic with equality, based on the tableau method.