Prover9-Mace4-v05B ratings

Prover9 and Mace4 are automated theorem provers for first-order and equational logic.
Commented All votes
rating
G
Guest
7 months ago
Write a comment

Alternative downloads

Apple Logic Pro
rating

Advanced music creation and audio production tool.

BitScope Logic
Free
rating

It is a 12 channel mixed signal logic timing and protocol analysis application.

Parabinomial Theorem
Free
rating

It allows you to perform complicated binomial expansion.