3 projects tagged "Windows"
Updated 11 Aug 2009
Coq
| Pop | 44.70 |
|---|---|
| Vit | 3.82 |
The Coq tool is a proof assistant which is able to handle calculus assertions, to check proofs of these assertions mechanically, and to extract a certified program from the constructive proof of its formal specification.
Updated 20 Jun 2007
Planets
| Pop | 93.04 |
|---|---|
| Vit | 4.16 |
Planets is a fun, interactive program for many-body gravity simulations. The emphasis is on play: it's easy to add in planets, zoom in and out, change the physical constants, save and load configurations, etc. It's designed to be easy enough for a kid to enjoy, but that hardly precludes adults.
Updated 25 Aug 2006
GeoProof
| Pop | 18.06 |
|---|---|
| Vit | 1.00 |
GeoProof is a dynamic geometry application with proof related features. It can communicate with the Coq proof assistant to perform automatic and interactive proofs of theorems.
