サクサク読めて、アプリ限定の機能も多数!
マルレクでやってるぐらいなんだから、もうCoqは安泰ですね
masterq のブックマーク 2019/11/22 18:28
GitHub - maruyama097/coq-tutorial: coq-tutorial[maruyama][coq][doc][japanese][verify]マルレクでやってるぐらいなんだから、もうCoqは安泰ですね2019/11/22 18:28
このブックマークにはスターがありません。 最初のスターをつけてみよう!
github.com/maruyama0972019/11/22
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
マルレクでやってるぐらいなんだから、もうCoqは安泰ですね
このブックマークにはスターがありません。
最初のスターをつけてみよう!
GitHub - maruyama097/coq-tutorial: coq-tutorial
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /