proof-formalize
CommunityPolish proofs into publication-ready LaTeX.
Education & Research#latex#formalization#notation#academic-writing#theorem-environments#proof-writing#proof-editing
AuthorShiien
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Convert validated proofs into polished LaTeX writeups with proper theorem/lemma/proof environments and consistent notation, saved to outputs/{topic}/proofs/.
Core Features & Use Cases
- Proper theorem/lemma/proof environments
- Consistent notation and full justification
- Save outputs to outputs/{topic}/proofs/{theorem_name}.tex and provide both the LaTeX source and a readable preview
Quick Start
Generate a LaTeX proof writeup from the validated proof using the project's notation conventions.
Dependency Matrix
Required Modules
None requiredComponents
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: proof-formalize Download link: https://github.com/Shiien/Self-Evolved-Research-Framework/archive/main.zip#proof-formalize Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.