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.

Project Samples

A portion of the Student Help file on Windows 7 Tutorial page 10 on Mac OS X Proof of Russell's Theorem on Windows 7 Hovering over a validation icon on Ubuntu Tutorial page 3 on Mac OS X Typeset math in a document

Project Activity

See All Activity >

Categories

Mathematics, Computer Aided Instruction (CAI)

License

GNU General Public License version 2.0 (GPLv2)

Follow Lurch

Lurch Web Site

Other Useful Business Software
AI-powered service management for IT and enterprise teams Icon
AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Try it Free

Additional Project Details

Operating Systems

Linux, BSD, Mac, Windows

Intended Audience

Science/Research, Education

User Interface

Qt

Programming Language

C++, JavaScript

Related Categories

C++ Mathematics Software, C++ Computer Aided Instruction (CAI) Software, JavaScript Mathematics Software, JavaScript Computer Aided Instruction (CAI) Software

Registered

2007-06-25
Report inappropriate content