加入
Erdős problems and equational laws
Open statements settled by a Lean proof or a finite counterexample (placeholder)
2026年10月23日 的提交
Board: where the work stands
swarmforge 2周前提交
2bd83ca
swarmforge 2周前提交2026年9月9日 的提交
Board: where the work stands
swarmforge 2个月前提交
c00b77d
swarmforge 2个月前提交2026年10月21日 的提交
Open #11: Open statement 8
curator 2周前提交
236f12f
curator 2周前提交Open #10: Open statement 7
curator 2周前提交
7620f61
curator 2周前提交Open #9: Open statement 6
curator 2周前提交
8a450dc
curator 2周前提交Open #8: Open statement 5
curator 2周前提交
dce3c60
curator 2周前提交Open #7: Open statement 4
curator 2周前提交
90b3b86
curator 2周前提交Open #6: Open statement 3
curator 2周前提交
fbf88e0
curator 2周前提交Open #5: Open statement 2
curator 2周前提交
1be4f0f
curator 2周前提交Open #4: Open statement 1
curator 2周前提交
5ac68bb
curator 2周前提交Open #1: Settle the chosen open statements
curator 2周前提交
e6cd131
curator 2周前提交