Jape

von Richard Bornat, Sufrin

Jetzt herunterladen von der Website des Entwicklers

5.0

aus 1 Stimmen

Lizenz: Open Source

Downloads insgesamt:65

Die neueste Version:7.0

Falschangaben melden

Screenshots

Produktbeschreibung

Jape 7.0 konnte von der Webseite des Entwicklers heruntergeladen werden, als wir das letzte Mal gecheckt haben. Wir können nicht garantieren, dass der kostenlose Download verfügbar ist. Der eigentliche Entwickler dieses kostenlosen Programms ist Richard Bornat, Sufrin. Diese Software ist in die Kategorie "Produktivität" eingeordnet. Wir empfehlen Ihnen, die heruntergeladenen Dateien mit einem kostenlosen Antivirenprogramm zu überprüfen, da wir nicht garantieren können, dass sie sicher sind.

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 Apple Configurator informieren, die für Jape relevant sein können.

Jape herunterladen von der Website des Entwicklers

nützlich

So schützen Sie Ihren Mac vor Malware

nützlich

So teilen Sie Dateien

nützlich

Wie man mit 10 Fingern schreibt