Lurch Lite for Linux

Software for teaching and learning mathematical proofs.
Download

Lurch Lite for Linux Ranking & Summary

Advertisement

  • Rating:
  • License:
  • GPL
  • Publisher Name:
  • Ken Monks
  • Publisher web site:
  • Operating Systems:
  • Linux
  • File Size:
  • 18KB

Lurch Lite for Linux Tags


Lurch Lite for Linux Description

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. Features Status TeX-enabled word processor functional with a few known bugs built on OpenMath for unambiguous semantics done and thoroughly tested JavaScript engine for customizing validation done and thoroughly tested several math topics built in just a few Now, more coming users can add new math topics


Lurch Lite for Linux Related Software

About SoftwareSea