Jape is een configureerbare grafische formal-proof rekenmachine. Het is mogelijk om een logica te definiëren, te beslissen hoe uw gebruikers hun bewijzen bekijken en nog veel meer. Het werkt met varianten van de sequent calculus en natuurlijke aftrek. Mac, Unix, Windows.
versiegeschiedenis
- Versie N/A geplaatst op 2011-08-11
Verschillende oplossingen en updates - Versie N/A geplaatst op 2011-08-11
Programmadetails
- Categorie: Netwerk & Internet > Andere
- Publisher: jape.sf.net
- Licentie: Gratis
- Prijs: N/A
- Versie: Array
- Platform: windows