Changes:
-
Paperproof works offline now, too
-
Tactic combinators get properly displayed
-
Added various modes that change how the proof is displayed: compact mode, compact tactics mode, readonly mode
-
Upon right-clicking on a particular box, you can collapse it now
-
Hypotheses have grey, yellow, and green colors - grey ones is sorts which we do not show; yellow ones is data; green ones is proofs
In general - Paperproof was fully rewritten (we went from Tldraw to vanilla React). Interaction with Paperprooof feels different now, it's just a normal webpage that you can scroll around.