hirokidaichi

hirokidaichi/recaman-lean-research

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

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 1 hour ago

help wanted research

hirokidaichi/recaman-lean-research

0

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

Lean