440Forums  |  MacMusic.org  |  PcMusic.org  |  440tv  |  Zicos  |  AudioLexic
Free   {key13}


Simplify Theorem Prover 1.5.5 (Default branch)

FreshMeat

Monday November 12, 2007. 11:43 PM
FreshMeat

Simplify is an automated theorem prover used by ESC/Java2. License: Free for non-commercial use Changes: A universal binary for Mac OS X has been added.
Simplify automated theorem prover used byESC/Java2.License Free non-commercial useC Simplify Theorem Prover 1.5.5 (Default branch)
Simplify Theorem Prover 1.5.5 (Default branch) Read more at FreshMeat
www.pheedo.com/click.phdo?i=ddbc4a245124c3f7ca7ba2aea4cfa372

 

 Related News 

Search

Download Zicos
Fri December 5, 01:53 AM
Free   {key13}