20/04/22 07:05:23 gQCe02i1.net
ヴォエヴォドスキーが、コンピュータによる証明検証を推進した動機は、
自身が過去に犯した間違いの経験と思われる。
彼亡き後、ホモトピー型理論はどうなったんだろうか？
20/04/22 07:05:23 gQCe02i1.net
ヴォエヴォドスキーが、コンピュータによる証明検証を推進した動機は、
自身が過去に犯した間違いの経験と思われる。
彼亡き後、ホモトピー型理論はどうなったんだろうか？
20/04/22 07:05:23 gQCe02i1.net
ヴォエヴォドスキーが、コンピュータによる証明検証を推進した動機は、
自身が過去に犯した間違いの経験と思われる。
彼亡き後、ホモトピー型理論はどうなったんだろうか？