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 >

Follow Lurch

Lurch Web Site

Other Useful Business Software

Detect and respond to threats with SolarWinds® Log & Event Manager. Detect and respond to threats with SolarWinds® Log & Event Manager. Icon
Get comprehensive SIEM capabilities including:
  • Fast and easy compliance reporting and real-time event correlation
  • File integrity monitoring, real-time remediation, and USB device monitoring

Additional Project Details

Intended Audience

Education, Science/Research

User Interface

Qt

Programming Language

C++, JavaScript

Registered

2007-06-25