パンの木を植えて
読者になる
パンの木を植えて
主として数学の話をするブログ
2023-10-10から1日間の記事一覧
2023
-
10
-
10
1/0 = 0 になるのはなぜ?Lean Prover でのゼロ除算の扱いについて
lean でのゼロ除算の扱いについて
#
lean
#
lean4
#
leanprover
引用をストックしました
ストック一覧を見る
閉じる
引用するにはまずログインしてください
ログイン
閉じる
引用をストックできませんでした。再度お試しください
閉じる
限定公開記事のため引用できません。
読者です
読者をやめる
読者になる
読者になる