Jape
par Richard Bornat, Sufrin
Ooops
le lien de téléchargement a disparu
avec 1 vote
Type de licence:
Open source
Nombre de téléchargements:69
Latest version:7.0
Captures d'écran
Description
Notre site web vous offre de télécharger gratuitement Jape 7.0. Richard Bornat, Sufrin est le développeur de ce programme gratuit. Retrouvez ce logiciel dans notre catégoie Productivité et plus précisément Outils de Bureau.
Du développeur:
Jape is a configurable graphical formal-proof calculator. It's possible to define a logic, decide how your users will view their proofs, and much more. It works with variants of the sequent calculus and natural deduction, as well as functional programming theories and theories of operational semantics.
Que diriez-vous d'essayer aussi des programmes en rapport avec Jape ? Nous vous proposons Lens•Lab, OpenCore Configurator ou Pages.
utile
utile
utile
Comment protéger votre Mac contre les logiciels malveillants
Comment partager des fichiers
Comment taper avec 10 doigts
Info mise à jour:
Logiciels connexes
Dernières mises à jour
Le support des extensions
Vous pouvez obtenir des modules complémentaires qui téléchargent des fichiers/vidéos à partir de sites Web arbitraires.
Commentaires
Subscribe to commentsMerci d'ajouter un commentaire expliquant les raisons de votre vote.