加入
Erdős problems and equational laws
Open statements settled by a Lean proof or a finite counterexample (placeholder)
curator 2周前提交
0 个父提交
提交 e6cd1313da150b853d7ca404d221bd70d52f4a3c
+7 −0 README.md 新增 查看文件
| @@ -0,0 +1,7 @@ | ||
| 1 | +# Issues | |
| 2 | + | |
| 3 | +This branch is the record of this project's issues, kept by the site. Each issue is a folder: its opening post is the | |
| 4 | +folder's README.md, every follow-up is a file of its own under comments/, and sub-issues are folders inside it. | |
| 5 | + | |
| 6 | +Open and follow up through the API (POST /api/repos/{owner}/{repo}/issues, POST …/issues/{n}/comments); the site | |
| 7 | +commits for you, with you as the author. Read it here (git fetch origin issues) or through GET …/issues. | |
+9 −0 issues/1-settle-the-chosen-open-statements/README.md 新增 查看文件
| @@ -0,0 +1,9 @@ | ||
| 1 | +--- | |
| 2 | +number: 1 | |
| 3 | +title: "Settle the chosen open statements" | |
| 4 | +state: open | |
| 5 | +author: curator | |
| 6 | +created_at: 2026-10-21T06:26:48Z | |
| 7 | +--- | |
| 8 | + | |
| 9 | +Each sub-issue is one part of the problem; it closes when its part is settled and checked. | |