Software Map

Project Tree

• Per Category
• Per Hierarchy

Now limiting view to projects in the following categories:
      Operating System :: MacOS [Remove This Filter]
      Operating System :: POSIX :: GNU/Linux [Remove This Filter]
      Programming Language :: Objective-Caml [Remove This Filter]
      Topic :: Scientific/Engineering :: Artificial Intelligence [Remove This Filter]

---

Operating System  >  MacOS

Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

---

1 project in result set.

---

Zenon (automated theorem prover) - Automated theorem prover for first order logic with equality, based on the tableau method.

Development Status : 3 - Alpha[Filter] Environment : Console \(Text Based\)[Filter] Intended Audience : Developers[Filter] Intended Audience : Other Audience[Filter] Kind : Software[Filter] License : OSI Approved : BSD License[Filter] Natural Language : English[Filter] Natural Language : French[Filter] Operating System : MacOS (Now Filtering) Operating System : POSIX : GNU/Linux (Now Filtering) Programming Language : Objective-Caml (Now Filtering) Research center : Rocquencourt[Filter] Topic : Scientific/Engineering : Artificial Intelligence (Now Filtering) Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00 Registered: 2014-11-06 09:33

---