サクサク読めて、アプリ限定の機能も多数!
https://wwwf.imperial.ac.uk/~buzzard/one_off_lectures/msr.pdf
xef のブックマーク 2020/01/02 01:09
The Future of Mathematics?[Lean][TheoremProving]<a href="https://wwwf.imperial.ac.uk/~buzzard/one_off_lectures/msr.pdf" target="_blank" rel="noopener nofollow">https://wwwf.imperial.ac.uk/~buzzard/one_off_lectures/msr.pdf</a>2020/01/02 01:09
<a href="https://wwwf.imperial.ac.uk/~buzzard/one_off_lectures/msr.pdf" target="_blank" rel="noopener nofollow">https://wwwf.imperial.ac.uk/~buzzard/one_off_lectures/msr.pdf</a>
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.youtube.com2020/01/02
As a professor of pure mathematics, my job involves teaching, research, and outreach. Two years ago I got interested in formal methods, and I learned how to use the Lean theorem prover developed at...
2 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
https://wwwf.imperial.ac.uk/~buzzard/one_off_lectures/msr.pdf
このブックマークにはスターがありません。
最初のスターをつけてみよう!
The Future of Mathematics?
As a professor of pure mathematics, my job involves teaching, research, and outreach. Two years ago I got interested in formal methods, and I learned how to use the Lean theorem prover developed at...
2 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /