サクサク読めて、アプリ限定の機能も多数!
Nyoho のブックマーク 2023/08/18 20:19
Theorem Proving in Lean 4 日本語訳 - Theorem Proving in Lean 4 日本語訳[math][lean]2023/08/18 20:19
このブックマークにはスターがありません。 最初のスターをつけてみよう!
aconite-ac.github.io2023/08/18
Theorem Proving in Lean 4 by Jeremy Avigad, Leonardo de Moura, Soonho Kong and Sebastian Ullrich, with contributions from the Lean Community このテキストは読者がLean 4を使うことを前提にしています。...
1 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /
Nyoho のブックマーク 2023/08/18 20:19
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Theorem Proving in Lean 4 日本語訳 - Theorem Proving in Lean 4 日本語訳
aconite-ac.github.io2023/08/18
Theorem Proving in Lean 4 by Jeremy Avigad, Leonardo de Moura, Soonho Kong and Sebastian Ullrich, with contributions from the Lean Community このテキストは読者がLean 4を使うことを前提にしています。...
1 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /