Télécharger des notandprovesornot-cutless-nothm-complete.pdf (notandprovesornot-cutless-nothm-complete.pdf ( lien externe: SourceForge.net): 135,218 octets) va bientôt commencer. Sinon, cliquez sur notandprovesornot-cutless-nothm-complete.pdf ( lien externe: SourceForge.net).
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.
Mac, Unix, Windows.
