Jape

Jape

5.0

em 1 voto
Licença: Código aberto
Total de downloads:63
Latest version:7.0
Denunciar informações incorretas

Capturas de ecrã

Screenshot Screenshot

Descrição

Você pode baixar Jape 7.0 da nossa biblioteca de programas de graça. Nossa verificação feita pelo antivírus mostra que esse download está protegido. O software está dentro de Produtividade, na subcategoria Ferramentas de Escritório. O pacote de instalação mais atual disponível para download ocupa 2.1 MB no disco. Esse software tem como desenvolvedor Richard Bornat, Sufrin.

Do desenvolvedor:

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.

Confira mais programas, tais como JonDo, Armok Vision ou Elements, que podem ser similares a Jape.

Comentários

Obrigado por classificar o programa!
Por favor, adicione um comentário explicando o raciocínio por trás do seu voto.
Seu voto:
Informação atualizada em:
Últimas atualizações
ReadKit
ReadKit

Ferramentas para RSS

Duplicate Cleaner For iPhoto
Duplicate Cleaner For iPhoto

Gerenciadores de Arquivos

CDRViewer
CDRViewer

Visualizadores & Editores

Faça download mais fácil Faça download mais fácil
Conheça o FDM
Suporte a complementos Você pode obter complementos que baixam arquivos/vídeos de sites arbitrários.