en un clic
Etingof-RepresentationTheory-draft1
Etingof-RepresentationTheory-draft1 contient 4 skills collectées depuis FormalFrontier, avec une couverture métier par dépôt et des pages de détail sur le site.
Skills dans ce dépôt
Use when working on Phase 3 formalization — translating mathematical text into Lean 4 statements and proofs, or filling sorry placeholders.
Standard claim/branch/verify/publish workflow for pod agent sessions. Read this skill at the start of any feature, review, summarize, or meditate session.
Use when planning a new pipeline stage or creating work items for parallel execution. Ensures validation tooling exists before content work begins.
Use when working on Phase 2 dependency mapping — internal references, external dependencies, or reference attachment. Also use when reading blob content to identify mathematical references.