Submit Software
  1. Home
  2. Linux
  3. Other
  4. Lurch
  5. Download

Lurch 0.4

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes

ABOUT Lurch

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.

Related Programs

  • TOTAL .NET Protector Free Trial

    Since .NET is a managed environment, there is always the downside of having your code open to anyone using Reflector or Refractor.Skater TOTAL converts the decompilable Microsoft Intermediate Language code (MSIL or CIL) of y

  • Ziga Free

    A filesharing application written in Java. It uses modules to support different protocols. At the moment there is a module for the Napster and Gnutella protocol available.

  • Scriptol Xul Dev Free

    Xul Dev means for Xul development environment. The IDE is intended to design Xul interfaces and to make programs in any programming language. The IDE is written in Scriptol C++ and available in source form and as binary execu

  • cmpio library Free

    Libcmpio is a general purpose library, which provides an easy way to manipulate data files with variable record length, record compression, transparent volume creation and control and portability among different platforms .

  • Nuke My Tablet Free Trial

    Nuke My Tablet protects your privacy by secure deleting your personal data, such a photos and videos, and returning your phone to factory settings. Now you can safely repurpose old devices or upgrade your current one without

  • the prefuse visualization toolkit Free

    Software tools for building interactive information visualization applications. Prefuse supports a rich set of features for data modeling, visualization, animation, and interaction for both Java (prefuse) and Flash (prefuse f

  • AJIO Free

    AJIO allows building jars from one or more classes. The created jar file contains all dependant classes from all referenced jar files.AJIO permet de crer UN jar partir d'une ou plusieurs classes et de leur dpendances autom

  • AdaDLX Free

    This is an Ada implementation of the Dancing Links X Algorithm as in Donald E. Knuth paper. AdaDLX is used to solve the Eight-Queens puzzle, Sudoku grids and Blocs in Box puzzle.

  • Php5 Meta-Model Free

    The Php 5 Model. This project hosts the ecore Php 5 Model and its generator.

  • Spyc Free

    Spyc is a simple YAML loader/dumper class for PHP. It can be used to load YAML files into PHP data structures or to dump PHP arrays to simple YAML. For more on YAML, see www.yaml.org.