Proofs
Siotra Watermark v.1.0
Siotra Watermark enables you to easily create watermarked copies of your photos that can be used as proofs. You can configure the text for the watermark, set position, font and watermark opacity,
EulerSharp 2013-02 v.2
Euler is an inference engine supporting logic based proofs.
Z3-2.12 v.2 1
Z3 is an SMT solver that combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems. Philippe Suter made a JNI binding available.
Lurch Lite v.0.4
Lurch is a word processor with the capability to check the steps of your work in many areas of mathematics, from calculus to logic.Learn math with ease.
FlipBook Creator Themes Pack - Marvels v.1.1
Free FlipBook Creator (Pro) Themes Pack- Marvels (Professional Shopping Catalog theme templates) This theme Marvels has been specially designed for people who want to create online flash catalog or digital brochure.
ResizeImage v.1.2
ResizeImage is an AppleScript droplet that will scale most images and save them to the Clipboard.
Metal and Money v.rc.1.0
Metal and Money is a puzzle game involving acquiring items, meeting people, using their services.