All categories

Prover9-Mace4-v05B download

Free Prover9 and Mace4 are automated theorem provers for first-order and equational logic.
0.5 (latest)
Sep 30, 2011
Prover9-Mace4-v05B.zip

Suggestions

TeXworks
TeXworks
Free

A powerful application that allows users to edit TeX files.

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...