paperproof-validator

Transforms formal Lean 4 proofs into intuitive visualizations, enhancing understanding of proof structures and tactics.

Install this skill

or

paperproof-validator1 files

Comments

Sign in to leave a comment.

No comments yet. Be the first to comment!

Installation guide →

GitHub Stars 7

Rate this skill

Categorydata analytics

UpdatedMay 21, 2026

vscode frontend backend data-scientist ux-designer frontend-developer backend-developer product-manager github data analytics design development product