All categories
Mac

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
Review Download All version

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.

Hex Fiend
Hex Fiend
Free

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

VisualVM
VisualVM
Free

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

Komodo Edit
Komodo Edit
Free

Write and edit code in a simplified manner.

Vim
Vim
Free

A screen-based text editor for various documents.

TeXworks
TeXworks
Free

A powerful application that allows users to edit TeX files.

Download
Free  
Freeware
Old versions
Prover9-Mace4-v05B 0.5
Today's Highlight Call of Duty: Black Ops
The First Game in the Call of Duty: Black Ops Series
Fortnite
An epic battle royale game

Recent downloads

iRemove Tools [iCloud Bypass

We don't have a description for the iRemove Tools [iCloud Bypass app yet.

WooTechy iDelock

Developed by com.clevguard

NuMuKi Browser

We don't have a description for the NuMuKi Browser app yet.

Voot Lite

We don't have a description for the Voot Lite app yet.

Taiko Pop Tap

We don't have a description for the Taiko Pop Tap app yet.

VK Play Machine

We don't have a description for the VK Play Machine app yet.

Recent downloads

Latest updates