2023-10-05から1日間の記事一覧

Lean4 でフィボナッチ数列の２つの表現が同値であることを示す

Lean4 でフィボナッチ数列の２つの表現を実装し，同値であることを示します