Eris

Interactive Proof Environment

Explorations in creating an direct manipulation logic tool

@prabros

Notes

Scribblings on development of the environment