Infinite Canvas with Zoom and Drag for Proof Displays

The current proof display has several minor issues when it comes to positioning, truncation (#84), and displaying huge proof trees (#83).
I think all these issues can be overcome if a proof were placed on the infinite canvas with zoom in/out (with scroll) and drag functionalities. Something like this:

https://konvajs.org/docs/sandbox/Infinite_Canvas.html

p.s. adding a border-style: solid to the view element would also help.

Start by locating the current proof display and reviewing the positioning, truncation (#84), and huge proof tree issue (#83). Use the linked KonvaJS Infinite Canvas example as a reference for zooming with scroll and dragging, and consider the requested solid border on the view element. Done means proofs can be positioned, zoomed, and dragged without truncation, including large proof trees.

Written by the indexing model from the issue text.