paperproof-validator

Name: paperproof-validator
Availability: InStock
Author: plurigrid

Official

Visualize and verify Lean 4 proofs.

Education & Research #verification #visualization #tactics #lean4 #proof

Authorplurigrid

Version1.0.0

Installs0

System Documentation

What problem does it solve?

It translates formal Lean 4 proofs into visualizations, making proof states easier to understand.

Core Features & Use Cases

Proof visualization: proof trees, hypotheses, goals.
Metadata extraction: from Lean's InfoTree for tactics.
Proof correctness checks: verify final conclusions.

Quick Start

Use Paperproof with a Lean4 project to visualize theorems in a VS Code panel.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: paperproof-validator
Download link: https://github.com/plurigrid/asi/archive/main.zip#paperproof-validator

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.

View Source Repository