2023-12-01から1日間の記事一覧

Lean Prover を学んでみよう

定理証明支援系 Advent Calendar 2023 参加記事．初心者向けに，Lean Prover のおもしろさ，魅力を解説します．