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.
Release Date:
Topic:
Operating System:
License:
Intended Audience:
User Interface:
Programming Language:
Registered:
Ratings and Reviews
- Thumbs up: 0
- Thumbs down: 1
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.
Project Feed
-
Code committed
-
File released: /Lurch Lite/0.2/LurchLite-0.2-Setup.exe
-
File released: /Lurch Lite/0.2/release-notes.txt
-
File released: /Lurch Lite/0.2/LurchLite-0.2.dmg
-
File released: /Lurch Lite/0.2/install-lurch-lite-0.2.sh
-
File released: /Lurch Lite/0.2
-
File released: /LurchLite-0.2-Setup.exe
-
File released: /install-lurch-lite-0.2.sh
-
File released: /release-notes.txt
-
File released: /LurchLite-0.2.dmg
Rate and Review
Related Projects
-
Dominoes on Acid
Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles. But on a deeper level it is a GUI for natural deduction. Every completed domino is equivalent to a proof of a tautology in classical propositional logic.
-
-
UCOMV
This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.
Lurch Actions
About SourceForge
Develop Software
Community
Copyright © 2010 Geeknet, Inc. All rights reserved. Terms of Use
