Jape
Captures d'écran
Description
Jape 7.0 était disponible en téléchargement sur le site Web du développeur lors de notre dernière vérification, mais nous ne pouvons pas garantir que le téléchargement gratuit est disponible. 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. Est recommandé de vérifier les fichiers téléchargés avec un antivirus gratuit car nous ne pouvons pas garantir qu'ils sont sûrs.
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 Elements, Lens•Lab ou Pages.
Commentaires
Subscribe to commentsMerci d'ajouter un commentaire expliquant les raisons de votre vote.