Jape

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 5.0/5 - ‎1 ‎Stemmen

Over Jape

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.