- It works like Visio.
- Drag and drop components from the left on to the workspace on the right as needed.
- Grab a connection point (handle if you prefer) of a component to connect it to the connection point of another component which will create a wire (line).
- When the proof is correct it will turn green.
I know some here are working on similar things so this might give one some ideas.