hirokidaichi

hirokidaichi/recaman-lean-research

Lean 4 formalization research toward the Recamán sequence surjectivity problem

1 good first / help-wanted issue · Lean · last activity Aug 28, 2026

0 stars 0 forks 0 watchers Lean

1 Open Issue Need Help Last updated: Aug 28, 2026

Open Issues Need Help

View All on GitHub

[Tracker] 全域PhaseSearchOracleと全射性へ向けた研究テーマ about 2 months ago

help wanted research

hirokidaichi/recaman-lean-research

0

Lean 4 formalization research toward the Recamán sequence surjectivity problem

Lean