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

• Aki Nyrhinen ( kotisivu, sähköposti , 050 5484771 ),
• Juha-Matti Tapio ( kotisivu , 050 541 9230 ),
• Jaakko Nenonen ( kotisivu , 050 3758286 ),
• Teppo Kankaanpää ( kotisivu , 050 466 8581 ) ja
• Visa Röyskö ( kotisivu , 050 3757317 ).