Name		Name	Last commit message	Last commit date
parent directory ..
images		images
src		src
.eslintrc.json		.eslintrc.json
.gitignore		.gitignore
.vscodeignore		.vscodeignore
.yarnrc		.yarnrc
.yarnrc.yml		.yarnrc.yml
LICENSE.md		LICENSE.md
README.md		README.md
esbuild.js		esbuild.js
package.json		package.json
tsconfig.json		tsconfig.json
yarn.lock		yarn.lock

README.md

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.