|
NEW
Design and browse papers with ease
[read more >]
|
Size:
Platform:
License:
Rating:
Downloads:
Updated:
|
90.90 MB
Mac OS X 10.4 or later
Freeware
NOT RATED
50
December 10th, 2012 UTC |
|
NEW
Java tool for building natural deduction proofs
[read more >]
|
Size:
Platform:
License:
Rating:
Downloads:
Updated:
|
53 KB
Mac OS X
Freeware
NOT RATED
90
June 18th, 2012 UTC |
|
NEW
Java tool for reasoning about imperative programs
[read more >]
|
Size:
Platform:
License:
Rating:
Downloads:
Updated:
|
1 KB
Mac OS X
Freeware
NOT RATED
76
June 6th, 2012 UTC |
|
NEW
Helps you create natural deduction proofs
[read more >]
|
Size:
Platform:
License:
Rating:
Downloads:
Updated:
|
1 KB
Mac OS X
Freeware
NOT RATED
78
June 6th, 2012 UTC |
|
NEW
Helps students to better understand Pythagorean Theorem
[read more >]
|
Size:
Platform:
License:
Rating:
Downloads:
Updated:
|
4 KB
Mac OS X
Freeware
NOT RATED
139
August 23rd, 2011 UTC |
|
NEW
Proof search tool for classical and intuitionistic first order logic
[read more >]
|
Size:
Platform:
License:
Rating:
Downloads:
Updated:
|
4.70 MB
Mc OS X
Demo
NOT RATED
191
August 2nd, 2011 UTC |
|
update
A tool that verifies your printed proofs to several ISO standards
[read more >]
|
Size:
Platform:
License:
Rating:
Downloads:
Updated:
|
16.20 MB
Mac OS X 10.3 or later
Demo
Good (3.8/5)
2,644
August 30th, 2010 UTC |
|
NEW
A playground environment for math proofs
[read more >]
|
Size:
Platform:
License:
Rating:
Downloads:
Updated:
|
31.10 MB
Mac OS X
GPL
NOT RATED
265
August 8th, 2010 UTC |
|
update
Complete and performant digital color proofing RIP for Graphic Arts & Pre-press Professionals
[read more >]
|
Size:
Platform:
License:
Rating:
Downloads:
Updated:
|
222 KB
Mac OS X 10.4.11 or ...
Shareware
Good (3.5/5)
4,164
June 3rd, 2010 UTC |
|
NEW
Fast document export reviewing for all
[read more >]
|
Size:
Platform:
License:
Rating:
Downloads:
Updated:
|
724 KB
Mac OS X 10.5 or later
Freeware
NOT RATED
303
November 19th, 2009 UTC |
|
update
A free formal proof management system
[read more >]
|
Size:
Platform:
License:
Rating:
Downloads:
Updated:
|
3.43 MB
Mac OS X
GPL
NOT RATED
659
August 13th, 2009 UTC |
|
update
A proof printing tool that is absolutely easy to use.
[read more >]
|
Size:
Platform:
License:
Rating:
Downloads:
Updated:
|
0 KB
Mac OSX 10.4
Trial
Excellent (5.0/5)
1,093
January 23rd, 2009 UTC |
|
NEW
Easily create client proofs and other templates.
[read more >]
|
Size:
Platform:
License:
Rating:
Downloads:
Updated:
|
1.64 MB
Mac OSX 10.4 or later
Demo
Excellent (5.0/5)
450
October 4th, 2008 UTC |
|
NEW
Free and open source interactive proof editor for your Mac
[read more >]
|
Size:
Platform:
License:
Rating:
Downloads:
Updated:
|
7.77 MB
Mac OS X
Freeware
NOT RATED
488
September 23rd, 2008 UTC |
|
NEW
HOL-Z - Proof environment for Z built as plug-in of the generic theorem prover Isabelle/HOL
[read more >]
|
Size:
Platform:
License:
Rating:
Downloads:
Updated:
|
4.55 MB
Mac OS X
GPL
Good (3.2/5)
495
June 22nd, 2008 UTC |
|
NEW
HOL-OCL - Interactive proof environment for the Object Constraint Language (OCL)
[read more >]
|
Size:
Platform:
License:
Rating:
Downloads:
Updated:
|
4.56 MB
Mac OS X
GPL
Good (3.7/5)
673
June 21st, 2008 UTC |
|
update
Isabelle - Generic proof assistant that allows mathematical formulas to be expressed in a formal language
[read more >]
|
Size:
Platform:
License:
Rating:
Downloads:
Updated:
|
7.56 MB
Mac OS X
Freeware
Good (3.4/5)
1,091
June 21st, 2008 UTC |
|
update
Bonjour Proof of Concept Applications - In case you needed a demonstration.
[read more >]
|
Size:
Platform:
License:
Rating:
Downloads:
Updated:
|
530 KB
Mac OS X
Freeware
Good (3.1/5)
1,111
June 19th, 2008 UTC |
|
NEW
Colour Space Proof Creative - Color matching RIP for inkjets
[read more >]
|
Size:
Platform:
License:
Rating:
Downloads:
Updated:
|
0 KB
Mac OS X 10.3 or later
Commercialware
NOT RATED
753
December 7th, 2005 UTC |
|
NEW
Serendipity Blackmagic - Makes proofs from ripped files
[read more >]
|
Size:
Platform:
License:
Rating:
Downloads:
Updated:
|
24.80 MB
Mac OS X 10.3 or above
Demo
Good (3.0/5)
2,031
August 17th, 2005 UTC |
|
|
Find us on Google+
