Paperproof

Paperproof visualizes proofs of the Lean 4 theorem prover.
For instructions, please see https://github.com/Paper-Proof/paperproof.

Features

Command Paperproof : Toggle toggles the paper proof view.