anthropics / anthropics/formal-math
Share prompt
未關閉
- 主要語言
- Lean
- 星號
- 239
- 分支
- 46
- 平均合併
- 1 天 19 小時
- 30 天內合併 PR
- 7
描述
Could you please share the prompt, human instructions and all other necessary information for reproducing the results?
貢獻指南
這個儲存庫沒有索引到貢獻指南
研究方向
No files, tests, or entry points are named. Start by locating the repository's project instructions and any source used to reproduce the reported results. Done means the prompt, human instructions, and other required reproduction information are documented in a discoverable location.
由索引模型根據 Issue 內容生成。
評估
- 領域
- documentation
- Issue 類型
- 文件
- 難度
- 3/5
- 預估耗時
- 1-2 天
- 活躍度
- 活躍
- 描述清晰度
- 需要釐清
- 新手友好度
- 45/100