サクサク読めて、アプリ限定の機能も多数!
xef のブックマーク 2021/10/16 23:44
Functional Data Structures and Algorithms. A Proof Assistant Approach[Isabelle][FunctionalProgramming][Book]2021/10/16 23:44
このブックマークにはスターがありません。 最初のスターをつけてみよう!
functional-algorithms-verified.org2021/10/16
1 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /
xef のブックマーク 2021/10/16 23:44
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Functional Data Structures and Algorithms. A Proof Assistant Approach
functional-algorithms-verified.org2021/10/16
1 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /