Formality
The first application we released, this is a simple playground environment for introducing students to the notion of formality and rigor in mathematical proofs. It comes with HTML documentation that explains the progression of lessons through three increasingly mathematical games.
Platforms: Mac
License: Shareware | Cost: $0.00 USD | Size: 29.07 MB | Download (39): Toy Proofs Download |
Fortify provides full strength, 128-bit encryption facilities to the export editions of Netscape Navigator and Communicator. If you routinely use Netscapes export-grade web browsers, (i.e. the ones you can download from the Internet), then you need Fortify. It is easy to illustrate why you need...
Platforms: *nix
License: Freeware | Size: 430.08 KB | Download (112): Fortify Download |