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
Power through agendas and documents, make more informed decisions and conduct board meetings faster. Icon
Power through agendas and documents, make more informed decisions and conduct board meetings faster.

For team managers searching for a solution to manage their meetings

iBabs not only captures the entire decision-making process – it takes all the paperwork out of meetings. iBabs empowers everyone who has ever organized or attended, a meeting. With a seemingly simple app that offers complete control and a comprehensive overview of all those fiddly details. With about 3000 organizations and over 300,000 users, iBabs gives you peace of mind. So you can quickly organize effective meetings, and good decisions can be made with confidence. iBabs didn’t just happen overnight. We started analyzing and simplifying board meeting processes many years ago. We understand all the work that goes into meetings, and how to streamline everything so it all flows smoothly. On any device, confidentially, securely and automatically. Make good decisions with confidence.
Learn More

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