サクサク読めて、アプリ限定の機能も多数！
https://wwwf.imperial.ac.uk/~buzzard/one_off_lectures/msr.pdf
xef のブックマーク 2020/01/02 01:09
このブックマークにはスターがありません。 最初のスターをつけてみよう！
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 件のコメント
＼ コメントが サクサク読める アプリです ／