All categories

Prover9-Mace4-v05B 0.5b

Free Prover9 and Mace4 are automated theorem provers for first-order and equational logic.
1 
Latest version:
0.5b See all
Developer:
Collect

Prover9-Mace4-v05B is an automated theorem prover and model searcher for first-order and equational logic. It is available for different operating systems, including Mac.

Comments

Suggestions

Patterns
Patterns
Free

Works with regular expressions to create patterns.

VisualVM
VisualVM
Free

Java monitoring and troubleshooting tool that supports JDK 1.4+ and uses lightweight technologies fo

Vim
Vim
Free

A screen-based text editor for various documents.

Komodo Edit
Komodo Edit
Free

Write and edit code in a simplified manner.

Hex Fiend
Hex Fiend
Free

Fast, clever, and free Hex Editor that has many unique features: Insert...

TeXworks
TeXworks
Free

A powerful application that allows users to edit TeX files.

Download
Free