Jape

von Richard Bornat, Sufrin

Jetzt herunterladen 2.1 MB

5.0

aus 1 Stimmen

Lizenz: Open Source

Downloads insgesamt:63

Die neueste Version:7.0

Falschangaben melden

Screenshots

Produktbeschreibung

Jape 7.0 kann kostenlos von unserem Software-Portal heruntergeladen werden. Der eigentliche Entwickler dieses kostenlosen Programms ist Richard Bornat, Sufrin. Die Dategröße der neuesten zum Herunterladen bereitgestellten Installationsdatei beträgt 2.1 MB. Diese Software ist in die Kategorie "Produktivität" eingeordnet. Unser Antiviren-Test hat ergeben, dass dieser Download virenfrei ist.

Vom Entwickler:

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.

Falls Sie nach mehr Softwares suchen, können Sie sich u.a. über solche Programme wie JonDo, Armok Vision oder OpenCore Configurator informieren, die für Jape relevant sein können.

Jape herunterladen

nützlich

So schützen Sie Ihren Mac vor Malware

nützlich

So teilen Sie Dateien

nützlich

Wie man mit 10 Fingern schreibt