TOTO Ohjelmistotuotantoprojekti

[ etusivu | dokumentit | linkit ]


Yleistä

TOTO Ohjelmistotuotantoprojektin tavoitteena on tuottaa lauselogiikan teoreemojen todistamiseen riittävä sekventtikalkyyliin perustuva todistustoimitin. Alkuperäinen aihekuvaus on saatavilla verkossa.

Lataa ProEd-1.01.tar.gz tai ProEd101.zip.

Lataa käyttöohje [bz2] [gz].

Projektiryhmään kuuluvat


Muutettu: 2003-05-30, jmtapio