Lurch is a free and open source math word processor with a general-purpose math checker built in.
What`s New in This Release: [ read full changelog ]
New math topic:
· The very, very old classical propositional logic math topic was removed, and replaced with
· a new version in the same style, but with explicit validation instead of implicit.
· This means you construct the statements, indentation levels, reasons, and line number
· references as a user, and Lurch checks them; it no longer helps you construct the proof.
· Some functionality has been lost (can`t save theorems or replacement rules now, f.ex.), but
· some has been gained (word processing and cursor placement, f.ex.). This new library
· will continue to improve in future releases.
· That math topic was authored using a new Fitch Proofs Library, but how to create your own
· math topics using that library has not yet been fully documented, nor fully streamlined.
· (I.e., it`s not nearly as user-friendly as it might one day get.)
Enhancements:
· Significant speedup in document rendering time.
· (But more improvements on this front still to come.)
· Significant improvem...