mathlib-style
Installation
SKILL.md
Code Style Guide for mathlib
Code formatting, naming conventions, and documentation requirements for mathlib4.
Required Guidelines
Follow these three key guides:
- Style Guide - Code formatting
- Naming Conventions - Naming scheme
- Documentation - Doc requirements
File Organization
/-!
# Module Title
Summary of what this file contains.
-/
Related skills
More from frankieew/agent-skills
pr-worktree-workflow
Complete workflow for creating git worktrees and Pull Requests, including worktree setup, branch management, and PR creation.
11mathlib-workflow
Complete workflow for contributing to mathlib (Lean 4), including repo setup, git workflow, PR creation, and review process.
6tmux
>
4code-rules
Use when writing code, to follow personal code style and ensure documentation is consistent.
3lmfdb-cli
>
2ssh
>
1