気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
Formalizing 100 Theorems
10 users
www.cs.ru.nl/~freek
www.cs.ru.nl/~freek
www.cs.ru.nl/~freek
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
Theorems in the list which have not been formalized yet are in italics. Formalizations of constru... Theorems in the list which have not been formalized yet are in italics. Formalizations of constructive proofs are in italics too. The difficult proofs in the list (according to John all the others are not a serious challenge "given a week or two") have been underlined. The formalizations under a theorem are in the order of the list of systems, and not in chronological order. The List The Irrationa
www.cs.ru.nl/~freek
president.jp
togetter.com
togetter.com
qiita.com
zenn.dev/p0n
note.com/hirokivv
note.com/aki0309
blog-dry.com
zenn.dev/sunwood_ai_labs
hatenanews.com
courrier.jp
www.eee-craft.com
2019/11/27 リンク