Jape

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 5.0/5 - ‎1 ‎Votes

Sur Jape

Jape est une calculatrice graphique configurable à l’épreuve des formalités. Il est possible de définir une logique, de décider comment vos utilisateurs vont voir leurs preuves, et bien plus encore. Il fonctionne avec des variantes du calcul séquent et de la déduction naturelle. Mac, Unix, Windows.