Submit Software
  1. Home
  2. Windows
  3. Other
  4. HLM Proof Assistant

HLM Proof Assistant

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

HLM is a proof assistant for everyday mathematics, which is currently being developed. It aims for a user experience as close as possible to regular mathematical practice, and proofs which are understandable by humans with little extra effort.

VERSION HISTORY

  • Version Prototype posted on 2011-02-08
    Several fixes and updates
  • Version N/A posted on 2011-02-08

Program Details

Related Programs

  • MLA Auto-Generator Free

    Generates correctly formatted(MLA, APA, Chicago, CPE, Turabian) entries for works cited or bibliography pages.

  • Animal Imaging Free

    "animal-imaging" is a project to collect and disseminate information on imaging technologies (e.g. CT, MRI, PET, ultrasound) pertinent to the vivo imaging of animals.

  • Wordcorr Free

    Wordcorr automates the tedious and risky process of tabulating and managing the sound correspondences used in working out the historical development of natural languages. It gives access to all the data, all the time. Initial

  • aMS - advanced Modeling System Free

    A user profiling/modeling system which has the capability to be used with every type of personlization system. The adavantage is that this system is not included in an application and can therefor be used for many purposes an

  • X-Specs Free

    Libraries and tools to support software design using executable code as specifications, to support Test Driven Development and other Agile methods.

  • Action Movies Free

    Do you like quizzes? Do you like 00s Pop Culture? Do you like free stuff?! Then this is the app for you... fun, free multiple-choice trivia quizzes in your pocket!Think you know the difference between a Goodfella and a Godfat

  • New Super Mario Bros Guide Free

    NEW SUPER MARIO BROS WII GUIDE "AN UNOFFICIAL WALKTHROUGH GUIDE”INCLUDES THE FOLLOWING:WALKTHROUGH- World 1- World 2- World 3etc…WARP CANNONSetc..SECRETS- Secret Goalsetc..MUSHROOM HOUSESetc..Tags:"New sup

  • Baby's number school(flower) Free Trial

    The best application for babies.Baby can study number with the lovely flowers.We support 10 flower photos and 1~10 numbers.It helps your baby to develop the brain.Have a funny time with this app! ★ Free Version Download

  • RAPID Free

    RAPID (REBOL API DocuMentor) provides a way to fetch documentation from REBOL source code and publish into various output formats, like HTML, PDF, make-doc-pro, and others.

  • Logic Solver (truth tables) Free Trial

    This program show truth tables, you enter a proposition with the letters you prefer, for example: PvQ^R or Av~B, and the program show you the truth table.This program also help you to simplify propositions by showing you a li