5.0

avec 1 vote
Type de licence: Open source
Nombre de téléchargements:64
Latest version:7.0
Signaler des informations incorrectes

Captures d'écran

Screenshot Screenshot

Description

Notre site web vous offre de télécharger gratuitement Jape 7.0. Le dernier fichier d'installation disponible au téléchargement occupera 2.1 MB sur votre disque dur. 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. Notre antivirus a vérifié ce téléchargement, il est garanti sans aucun virus.

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

Merci d'avoir évalué ce programme!
Merci d'ajouter un commentaire expliquant les raisons de votre vote.
Votre vote:
Info mise à jour:
La découverte d'aujourd'hui
HandbrakePM
HandbrakePM

Éditeurs et Convertisseurs

Dernières mises à jour
djay Pro 2
djay Pro 2

Production musicale

Rumpus
Rumpus

Network tools

Notability
Notability

Outils de Bureau

Facilite les téléchargements Facilite les téléchargements
Découvrez FDM
Le support des extensions Vous pouvez obtenir des modules complémentaires qui téléchargent des fichiers/vidéos à partir de sites Web arbitraires.
counter counter