サクサク読めて、アプリ限定の機能も多数！
codehex のブックマーク 2019/02/02 01:39
このブックマークにはスターがありません。 最初のスターをつけてみよう！
functionalcs.github.io2019/01/30
This is a typical discrete math course except formalized in Lean 4. The Mechanics of Proof using Lean by Heather MacBeth They may fully mechanize 15-210 soon using calf/decalf to prove costs. 15-21...
37 人がブックマーク・0 件のコメント
＼ コメントが サクサク読める アプリです ／
このブックマークにはスターがありません。
最初のスターをつけてみよう！
A (mostly functional) Modern Computer Science Curriculum
This is a typical discrete math course except formalized in Lean 4. The Mechanics of Proof using Lean by Heather MacBeth They may fully mechanize 15-210 soon using calf/decalf to prove costs. 15-21...
37 人がブックマーク・0 件のコメント
＼ コメントが サクサク読める アプリです ／