profiling
Profile Lean programs with demangled names using samply and Firefox Profiler. Use when the user asks to profile a Lean binary or investigate performance.
ソース情報
- リポジトリ
- leanprover/lean4
- ソースの最終更新活動
- 2026年3月1日 07:09
- 検出された SKILL.md の言語
- 英語
- スター
- 9,975
- フォーク
- 1,104
インストール方法
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
ソースファイルを確認
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
SKILL.md を表示中
SKILL.md
ソースの指示 · 読み取り専用プレビュー| name | profiling |
|---|---|
| description | Profile Lean programs with demangled names using samply and Firefox Profiler. Use when the user asks to profile a Lean binary or investigate performance. |
