formal-math-conventions

formal-math-conventions

Use when Codex writes, edits, reviews, or delegates review of mathematical writing in this repo, especially `formal/*.tex`, research proof notes, theorem statements, proof sketches, verification-status comments, or code comments that claim correspondence with formal mathematics.

Installation

# Copy this command into Claude Code to install this skill
/plugin add https://github.com/JoernStoehler/msc-math/tree/main/.agents/skills/formal-math-conventions

About

• Author: JoernStoehler
• Stars: 0

For more information, visit the GitHub repository.