Added: August 24, 2013 | Visits: 353
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
Platforms: *nix
Added: January 25, 2010 | Visits: 645
Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: the definition of interactively evaluated functions or predicates, to state mathematical theorems and software...
Platforms: Mac
Released: August 02, 2012
|
Added: August 02, 2012 | Visits: 471
Converging lines in photographs, particularly of buildings, forests and so on, can often detract from the desired effect. Architectural elements in photographs often have diagonal lines, but the mind thinks of buildings as having vertical and horizontal lines. Converging lines are caused by the...
Platforms: Windows
Released: November 23, 2012
|
Added: November 23, 2012 | Visits: 575
Guide to Install Themes & Template for PDF to Flipping Book 3D series software It is a forgettable theme named SOUL. You would cross the soul and find its core which creates unbelievable good grades on electronic prompting. The rolling and flipping books build the true 3D effect books. The book...
Platforms: Windows
Released: October 13, 2012
|
Added: October 13, 2012 | Visits: 599
Free FlipBook Creator (Pro) Themes Pack- Sea-Wave (Professional Shopping Catalog theme templates) SEAWAVE makes 4 spacious sea waving pictures decorate the amazing templates which can be your good assistant build wonderful flipbook with less time. You couldn't hard imagine how glorious it is...
Platforms: Windows
Released: December 17, 2012
|
Added: December 17, 2012 | Visits: 632
Guide to Install Themes & Template for PDF to Flipping Book 3D series software Moonnight makes true 3D retroflex flipping books. It provides 4 hot frameworks for free for applying mechanically. These templates are the easy way to build awful 3D flipping papers with less time. It liberates your...
Platforms: Windows
Released: November 13, 2012
|
Added: November 13, 2012 | Visits: 591
MB Nakshatra Lost Object Oracle Software is a wonderful oracle software or divination software which helps you find the things you have lost. It helps you find objects that have been misplaced on the basis of calculation of the constellation the moon was placed in on the day of loss. Living...
Platforms: Windows
Windows Software
Albina Merfyn - I find this to be really easy to use. I can...
