Logic Calculators

Last modified 23 September 2015

This page has been retired and is no longer being maintained.

If you are interested in a teaching tool for simple mathematics, see The TLA+ Toolbox.   It is not as easy to use as a pocket calculator, but it provides a general mathematics calculator that will evaluate any mathematical excpression that can be naively evaluated in a finite number of steps.   (For example, it can't evaluate quantification over an infinite set or unbounded quantification.)   Mathematical expressions are written in a fairly natural ASCII syntax.