Lurch

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

Hovering over a validation icon on Ubuntu

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Lurch

Lurch Web Site

Other Useful Business Software

Full-stack observability with actually useful AI | Grafana Cloud

Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.

Create free account

Additional Project Details

Operating Systems

BSD, Linux, Mac, Windows

Intended Audience

Education, Science/Research

User Interface

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

Similar Business Software

CBT Nuggets

Learning IT doesn’t have to mean boring lectures, the frantic pace of bootcamps, or lots of time away from your job or family. With CBT Nuggets, you can train anytime, anywhere, at your own pace — all from the comfort of your office chair or living room couch. Our training team is made up of...

See Software
Odoo

Odoo is a fully integrated, customizable, open-source software packed with hundreds of expertly designed business applications. Odoo’s intuitive database is able to meet a majority of business needs, such as: CRM, Sales, Project, Manufacturing, Inventory, and Accounting, just to name a few. Odoo...

See Software
Gradelink SIS

Help your school save time, increase enrollment, and achieve its mission with Gradelink. An award-winning student information system and school management system, Gradelink school management software system is suitable for Preschool through High school. Gradelink is a great fit for higher...

See Software
TelemetryTV

TelemetryTV is a powerful digital signage platform built for the modern organization who needs to engage audiences, generate awareness, and give their teams and communities a voice. TelemetryTV allows users to broadcast dynamic content easily by streaming video, images, social feeds,...

See Software
Pikmykid

Pikmykid is the leading safety and dismissal platform that empowers schools to simplify dismissal, engage parents, and keep students safe without the need to purchase, install, or support additional hardware. Designed by former educators and parents, Pikmykid has helped more than 2,000 schools...

See Software
Park With Us

Managing your campground has never been this simple. Park With Us is the world’s most user-friendly campground management software, and it’s always free for you. ✅ Effortless Reservation Management – Our intuitive drag-and-drop interface makes handling short-term and seasonal bookings a...

See Software