[X] The "/linklauncher/linklauncher-1.1.14.tar.gz" file could not be found or is not available. Please select another file.

Welcome, Guest! Log In | Create Account

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. Mac, Unix, Windows.

View all files

http://jape.sourceforge.net





Separate each tag with a space.

Registered:

2005-04-28

Ratings and Reviews

Be the first to post a text review of Jape. Rate and review a project by clicking thumbs up or thumbs down in the right column.

Project Feed

  • Code committed

    rbornat committed patchset 2686 of module distrib to the Jape CVS repository, changing 13 files

    posted by rbornat 111 days ago

  • Code committed

    rbornat committed patchset 2685 of module distrib to the Jape CVS repository, changing 2 files

    posted by rbornat 112 days ago

  • Code committed

    rbornat committed patchset 2684 of module distrib to the Jape CVS repository, changing 5 files

    posted by rbornat 112 days ago

  • Code committed

    rbornat committed patchset 2683 of module distrib to the Jape CVS repository, changing 3 files

    posted by rbornat 112 days ago

  • Code committed

    rbornat committed patchset 2682 of module distrib to the Jape CVS repository, changing 1 files

    posted by rbornat 113 days ago

  • Code committed

    rbornat committed patchset 2681 of module distrib to the Jape CVS repository, changing 1 files

    posted by rbornat 191 days ago

  • Code committed

    rbornat committed patchset 2680 of module distrib to the Jape CVS repository, changing 3 files

    posted by rbornat 191 days ago

  • Code committed

    rbornat committed patchset 2679 of module distrib to the Jape CVS repository, changing 2 files

    posted by rbornat 211 days ago

  • Code committed

    rbornat committed patchset 2678 of module distrib to the Jape CVS repository, changing 11 files

    posted by rbornat 211 days ago

  • Code committed

    rbornat committed patchset 2677 of module distrib to the Jape CVS repository, changing 1 files

    posted by rbornat 211 days ago

Rate and Review

Be the first person to add a text review.

Would you recommend this project?





<

Related Projects

Jape Actions

About SourceForge

Find Software

Develop Software

Community

Help

Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use

Thanks for your rating!

Would you also like to write a review?





Skip Review

Thanks for your review!

Get credit for your review by logging in via OpenID. Click your account provider:

No Thanks