A mockup of a JavaScript-based proof checking environment.
To test: Currently client-side only. Just point your browser at file:///.../editor.html
Follow the on-screen suggestions and see what you can get it to do.
Not that there's currently no actual logical deduction going on - it's essentially a glorified calculator. But you can define variables, evaluate expressions and introduce "hypotheses" which are currently ignored.