The version is 0.8 Beta, Lurch Lite 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 formal logic (or some other...