再生核研究所

再生核研究所

PR

×

Keyword Search

▼キーワード検索

Profile

再生核研究所

再生核研究所

フォローする

Calendar

Favorite Blog

小西美帆　ブログ「g… 小西美帆さん
楽天ペットニュース… 楽天ペットスタッフさん

Comments

bugindiceBludge@ Clouptslots mzhrm generic cialis tadalafil https://tadal…
Afferiinfomia@ Clouptslots eolql tadalafil daily online cialis tadalafi…
Bolaimmormgiree@ Clouptslots kwefv https://cttadalafil.com/ cialis tadala…
cyclomune@ cyclosporineopthalmicemulsion buy cyclomune <a href="https://…
cyclomune@ cyclosporineopthalmicemulsion cyclosporine eye drops <a href=&quot…

Freepage List

Headline News

< 新しい記事

新着記事一覧(全29695件)

過去の記事 >

2024.01.22
XML

Division by zero in type theory: a FAQ

カテゴリ： カテゴリ未分類

このような情報を得た：

２０２４． １．２２．８：５０

Hey! I heard that Lean thinks 1/0 = 0. Is that true?

Yes. So do Coq and Isabelle and many other theorem provers.

Doesn’t that lead to contradictions?


What is the Xena project?






お気に入りの記事を「いいね！」で応援しよう

Last updated  2024.01.22 08:56:30


【毎日開催】
15記事にいいね！で1ポイント
10秒滞在
いいね! -- / --
次の日記を探す
おめでとうございます！
ミッションを達成しました。
※「ポイントを獲得する」ボタンを押すと広告が表示されます。
x
X
© Rakuten Group, Inc.
X
Mobilize your Site
スマートフォン版を閲覧 | PC版を閲覧
    Share by: