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 paperproof view.