Jape
Capturas de ecrã
Descrição
Jape 7.0 estava disponível para download no site do desenvolvedor quando verificamos. Não podemos garantir que haja um download gratuito disponível. É recomendável verificar os arquivos baixados com qualquer antivírus gratuito, pois não podemos garantir que sejam seguros. O software está dentro de Produtividade, na subcategoria Ferramentas de Escritório. 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.
Gerenciadores de Arquivos
Suporte a complementos
Você pode obter complementos que baixam arquivos/vídeos de sites arbitrários.
Comentários
Subscribe to commentsPor favor, adicione um comentário explicando o raciocínio por trás do seu voto.