Browsing tag: proof  

Serendipity Blackmagic 5.4.03

The updater for the platform independent color management solution that enables you to create colo...

Aug 9th 2014, 21:26 GMT

Neenah Paper Cabinet 2.1.0

Design and browse papers with ease

Oct 20th 2013, 02:58 GMT

uProve 1.0.0

Java tool for building natural deduction proofs

Jun 18th 2012, 11:14 GMT

Raptor 5.0

Java tool for reasoning about imperative programs

Jun 6th 2012, 23:56 GMT

Pandora IV

Helps you create natural deduction proofs

Jun 6th 2012, 19:50 GMT

Pythagorean Theorem 1.0

Helps students to better understand Pythagorean Theorem

Aug 23rd 2011, 22:50 GMT

AProS ProofDisplay 2.0 Beta

Proof search tool for classical and intuitionistic first order logic

Aug 2nd 2011, 12:07 GMT

proofSIGN 1.9.6

A tool that verifies your printed proofs to several ISO standards

Aug 30th 2010, 07:23 GMT

Toy Proofs 0.1

A playground environment for math proofs

Aug 8th 2010, 11:08 GMT

ProofMaster Plus 4.0.2 Build 3471

Complete and performant digital color proofing RIP for Graphic Arts & Pre-press Professionals

Jun 3rd 2010, 07:59 GMT

Proof 1.0

Fast document export reviewing for all

Nov 19th 2009, 21:48 GMT

Coq 8.2 PL1

A free formal proof management system

Aug 13th 2009, 07:16 GMT

PersonalProof 2.1.2 Build 126

A proof printing tool that is absolutely easy to use.

Jan 23rd 2009, 21:38 GMT

Construct Server 3.2

Easily create client proofs and other templates.

Oct 4th 2008, 19:59 GMT

Evernote

A handy cross-platform application that enables you to store, edit, manage and share information across devices and with other users
10,769
downloads
Evernote

Synergy

Open source and free OS X utility designed to help you share a single mouse and keyboard between multiple computers with different operating systems
4,228
downloads
Synergy

Dropbox

An intuitive and very easy to use application that makes backup, syncing and sharing secure and a lot easier on all supported platforms
37,520
downloads
Dropbox

iOS (iPhone and iPod Firmware)

Free and easy-to-use firmware update files (IPSWs) designed for quickly installing the latest iOS version on your iPhone and/or iPod device
2,556,521
downloads
iOS (iPhone and iPod Firmware)

Vox

A lightweight and very easy to use music player that comes with support for multiple file types, such as MP3, AAC, FLAC, OGG or WAV
10,599
downloads
Vox

iOS (iPad Firmware)

IPSW update files designed to help you effortlessly restore and / or update your iPad to the latest software version using Apple's iTunes
66,140
downloads
iOS (iPad Firmware)

Adobe Photoshop

Powerful and comprehensive image editing software solution that comes with a large collection of image manipulation tools designed to help you retouch photos effortlessly and with remarkable precision
484,401
downloads
Adobe Photoshop

GraphicConverter

All-in-one OS X utility that comes packed with all the tools one needs to view, edit, convert, browse and organize large image collections
69,932
downloads
GraphicConverter

Smultron

A practical, easy-to-use and versatile text editor that offers the necessary tools to edit anything from simple text files to scripts and web pages
18,468
downloads
Smultron

Apple Xcode

Full-featured and comprehensive integrated development environment, designed to be used by developers who want to develop and test OS X and iOS applications
640,330
downloads
Apple Xcode

Final Cut Pro

User intuitive OS X video editing software solution that helps you with your post-production workflow and makes you more productive thanks to its comprehensive set of features
246,085
downloads
Final Cut Pro

Adobe Lightroom

Powerful and full-featured utility that makes it possible for photographers to effortlessly import, adjust, and showcase large image collections in no time
61,675
downloads
Adobe Lightroom

Safari

User-friendly and fast web browser that provides OS X users with a minimalist interface and a fast website rendering engine for getting to get any content available through the Internet as quickly as possible
165,465
downloads
Safari

Adobe After Effects

Makes it simple to add a large variety of effects to your videos and also enables you to create your own visual effects via its vast amount of tools designed specifically for this task
133,552
downloads
Adobe After Effects

% discount
Adobe Photoshop
  • Adobe Photoshop
  • GraphicConverter
  • Smultron
  • Apple Xcode
  • Final Cut Pro
  • Adobe Lightroom
  • Safari
  • Adobe After Effects
  • Evernote
  • Synergy
  • Dropbox
  • iOS (iPhone and iPod Firmware)
  • Vox
  • iOS (iPad Firmware)
essentials

Agda 1.0.2

Free and open source interactive proof editor for your Mac

Sep 23rd 2008, 00:44 GMT

HOL-Z 3.0 Beta

HOL-Z - Proof environment for Z built as plug-in of the generic theorem prover Isabelle/HOL

Jun 22nd 2008, 10:31 GMT

HOL-OCL 0.9.0

HOL-OCL - Interactive proof environment for the Object Constraint Language (OCL)

Jun 21st 2008, 23:33 GMT

Isabelle 2008

Isabelle - Generic proof assistant that allows mathematical formulas to be expressed in a formal l...

Jun 21st 2008, 18:13 GMT

Bonjour Proof of Concept Applications

Bonjour Proof of Concept Applications - In case you needed a demonstration.

Jun 19th 2008, 23:57 GMT