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

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Lurch

Lurch Web Site

Other Useful Business Software
$300 Free Credits to Build on Google Cloud Icon
$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Start Free

Additional Project Details

Operating Systems

BSD, Linux, Mac, Windows

Intended Audience

Education, Science/Research

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