Prover9-Mace4-v05B screenshots

Prover9 and Mace4 are automated theorem provers for first-order and equational logic.
Prover9-Mace4-v05B 0.5 beta : Main window
Prover9-Mace4-v05B 0.5 beta : Main window

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.