The version is 0.4. Lurch is a word processor with the ability to check the steps of your work in many areas of mathematics, from calculus to logic. Learn math with ease. Lurch Liteis a software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on...