Jape
Capturas de pantalla
Descripción
Jape 7.0 estaba disponible para descargar desde el sitio web del desarrollador cuando lo revisamos. No podemos garantizar que la descarga gratituita esté disponible. Se recomienda verificar los archivos descargados con un antivirus gratuito, ya que no podemos garantizar que sean seguros. 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 Apple Configurator, que podrían ser similares a Jape.
Comentarios
Subscribe to commentsPor favor, añade un comentario explicando las razones de tu voto.