Jape

por Richard Bornat, Sufrin

Ooops

Vaya, el enlace de descarga ya no está

5.0

con 1 votos

Tipo de licencia: Código abierto

Descargas totales:69

Latest version:7.0

Reportar información incorrecta

Capturas de pantalla

Descripción

Nuestra biblioteca de programas le ofrece una descarga gratuita de Jape 7.0. Originariamente, esta herramienta sin coste la desarrolló Richard Bornat, Sufrin. El programa pertenece al grupo de aplicaciones sobre Productividad.

Del desarrollador:

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.

Quizás esté interesado en probar otros programas, como JonDo, Armok Vision o OpenCore Configurator, que podrían ser similares a Jape.

útil

Cómo proteger tu Mac del malware

útil

Cómo compartir archivos

útil

Cómo escribir con 10 dedos