Advertisement
Proof
Fast document export reviewing for all...
Proof Block
Proof Block - Plugin filter for Adobe Illustrator...
Proof Sheet
Helps you print proof sheets (contact sheets) using your Mac...
print contact sheet print proof sheet contact sheet printer generate proof sheet
Bonjour Proof of Concept Applications
Bonjour Proof of Concept Applications - In case you needed a demonstration....
Colour Space Proof Creative
Colour Space Proof Creative - Color matching RIP for inkjets...
FileVault-proof Finder selection to alias list
Coerce FileVault-protected Finder selection to aliases or POSIX items...
coerce posix FileVault FileVault-protected selection coerce FileVault
Agda
Free and open source interactive proof editor for your Mac...
ProofMaster
Complete and performant digital color proofing RIP for Graphic Arts & Pre-press Professionals...
PersonalProof
A proof printing tool that is absolutely easy to use....
Creative proof printing proof printing tool creative design work
proofSIGN
A software tool that verifies your printed proofs to several ISO standards....
Isabelle
Isabelle - Generic proof assistant that allows mathematical formulas to be expressed in a formal language...
assistant proof assistant proof formalize mathematical proof formal verification
HOL-OCL
HOL-OCL - Interactive proof environment for the Object Constraint Language (OCL)...
build proof proof environment OCL environment refine specification
Raptor
Java tool for reasoning about imperative programs...
Pandora
With the Pandora Desktop Application, you can play your Pandora stations right from your desktop....