Open Issues Need Help
View All on GitHub [Tracker] 全域PhaseSearchOracleと全射性へ向けた研究テーマ 24 days ago
help wanted research
Lean 4 formalization research toward the Recamán sequence surjectivity problem
Lean
Lean 4 formalization research toward the Recamán sequence surjectivity problem
1 Open Issue Need Help
Last updated: Aug 28, 2026