Software Map
Project Tree
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]
|
Browse By: |
1 project in result set.
Zenon (automated theorem prover)
- Automated theorem prover for first order logic with equality, based on the tableau method. | |
|
Activity Percentile: 0.00 Registered: 2014-11-06 09:33 |