職業分類
ソフトウェア開発者
説明
Use when asked to prove something in Lean. Covers one-step-at-a-time proving, error priority, working on the hardest case first, proof cleanup, and handling dependent type rewriting issues.
原文の言語: 英語
更新
leanprover/skills
SkillsMP は leanprover/skills から 9 件の skill を収集しています。skill を開くとソースと詳細を確認できます。
- 記録された最新のソース活動
- SkillsMP カタログ更新
- 収集済み skills
- 9
- GitHub スター
- 61
- GitHub フォーク
- 1
このリポジトリの skills
2 件の職業カテゴリ · 100% 分類済み
収集済み skill 9 件中 9 件を表示しています。
skill
職業分類
説明
更新
職業分類
ソフトウェア開発者
説明
Bisect Lean toolchain versions to find where behavior changes. Use when trying to identify which Lean 4 commit caused a regression or behavior change.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Create minimal working examples (MWEs) from Lean errors for bug reports. Use when minimizing a Lean error, creating an MWE, or preparing a bug report for lean4 or mathlib4.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
PR conventions for the leanprover/lean4 repository. Use when creating pull requests, writing commit messages, or following project conventions for Lean contributions.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Set up a lean4 repository clone with proper elan toolchains.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Building Mathlib
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
PR conventions for leanprover-community/mathlib4. Use when creating pull requests, writing commit messages, or managing labels for Mathlib contributions.
原文の言語: 英語
更新
職業分類
ソフトウェア品質保証アナリスト・テスター
説明
Review guidelines for Mathlib PRs. Use when reviewing pull requests, checking code quality, or assessing whether a PR is ready to merge.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Understanding the Lean/Mathlib nightly testing infrastructure. Use when working on toolchain bumps, adaptation PRs, or investigating nightly CI failures.
原文の言語: 英語
更新
収集済み skill 9 件中 9 件を表示しています。