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

Komodo Edit
Komodo Edit
Free

Write and edit code in a simplified manner.

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

Download
Free  
Freeware
Old versions
Prover9-Mace4-v05B 0.5
Today's Highlight Mach Desktop 4K
First (and only) 4K dynamic motion wallpaper application.
Sandy Beach 3D
A screensaver with 3D water simulation and music accompaniment.

Recent downloads

MacX DVD Ripper Pro

Rip DVD discs to the desired file format.

DSP-Quattro

Edits audio files with the option for CD mastering.

HandBrakeBatch

This program enables you to convert video files to various output profiles.

RipIt

Rips media from DVD and creates disk copies.

Miro Video Converter

This program lets you convert videos to various media formats.

CoverScout 3

CoverScout fills the gray gaps that iTunes leaves behind!

Recent downloads

Latest updates