Software I began to develop 10 years ago when I was a student in math.
Powerful, easy-to-use, equation plotter with numerical and calculus features.
Advanced computer algebra system application.
Configurable graphical formal-proof calculator.
An app to help students practice derivations in the typed lambda calculus.