[X] The "/OldFiles" file could not be found or is not available. Please select another file.

Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.


http://lurch.sourceforge.net





Separate each tag with a space.

Release Date:

2009-12-30

Topic:

Operating System:

License:

Intended Audience:

User Interface:

Programming Language:

Registered:

2007-06-25

Ratings and Reviews

  • Thumbs up:

    0
  • Thumbs down:

    1
0% of 1 user recommends this project

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

View all reviews

Project Feed

Rate and Review

Would you recommend this project?






<

Related Projects

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