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

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.

Patterns
Patterns
Free

Works with regular expressions to create patterns.

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

Komodo Edit
Komodo Edit
Free

Write and edit code in a simplified manner.

Download
Free  
Freeware
Old versions
Prover9-Mace4-v05B 0.5
Today's Highlight Precise Screenshot 2
Precise Screenshot lets you take screenshots quickly and precisely with customizable resizable areas, pre-set sizes, and x, y coordinates.
Calair
Lightweight popup calendar, easily accessible from the top right of your screen.

Recent downloads

Resident Evil 4

One of the best Resident Evil games

Terraria

The Immersive 2D Sandbox Platformer Game You Have to Try

Left 4 Dead 2

Fighting The Infected Horde

Call of Duty: Black Ops

The First Game in the Call of Duty: Black Ops Series

Escape the Backrooms

Premium survival horror

Fortnite

An epic battle royale game

Recent downloads

Latest updates