anthropics / anthropics/formal-math

Share prompt

未關閉
#26 0 則留言 0 個 reaction 已指派 0 人 在 GitHub 檢視
主要語言
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

把新 issue 寄到你的電子郵件信箱

精選適合新手參與的 GitHub issue 摘要。