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.

Vim
Vim
Free

A screen-based text editor for various documents.

Komodo Edit
Komodo Edit
Free

Write and edit code in a simplified manner.

VisualVM
VisualVM
Free

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

TeXworks
TeXworks
Free

A powerful application that allows users to edit TeX files.

Hex Fiend
Hex Fiend
Free

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

Download
Free  
Freeware
Old versions
Prover9-Mace4-v05B 0.5
Today's Highlight Angelic Dreams
We don't have a description for the Angelic Dreams app yet.
Stand Up
We don't have a description for the Stand Up app yet.

Recent downloads

Any Video Converter for Mac

AVCLabs Video Converter for Mac is the best Mac video converter.

MetaInfo

A unified display of the most relevant technical and tag data for media files.

Apple iMovie

Edit your clips into a movie with soundtrack and themes.

MacX Free DVD to Apple TV

Free rip any DVD to Apple TV H.264/MPEG-4 and convert DVD to MP3 audio on Mac.

OnLive

Developed by OnLive Inc

CCV

Visual tracking interface that takes video input and outputs tracking data and events for multi-touch applications.

Recent downloads

Latest updates