math-tex
CommunityConventions for standalone math.tex documents.
AuthorJoernStoehler
Version1.0.0
Installs0
System Documentation
What problem does it solve?
math.tex files are standardized LaTeX documents that sit alongside code modules and experiments, providing a single source of lemmas, theorems, definitions, and proofs that can be compiled independently and referenced across the project.
Core Features & Use Cases
- Standardized layouts for lemmas, theorems, definitions, and proofs with consistent labeling.
- Easy cross-referencing between code comments and math.tex content to ensure verifiability.
- Reusable as a standalone document for code reviews, verification, and experiments, found in crates/symplectic/src/<module>/math.tex and experiments/<name>/math.tex.
Quick Start
Place a properly formatted math.tex in the module or experiment directory and ensure it compiles standalone.
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: math-tex Download link: https://github.com/JoernStoehler/msc-math/archive/main.zip#math-tex 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.