サクサク読めて、アプリ限定の機能も多数！
GUI部分はHaskell+Snapか。
nsyee のブックマーク 2015/06/15 11:32
このブックマークにはスターがありません。 最初のスターをつけてみよう！
goto.ucsd.edu/~vrobert2015/06/15
What is PeaCoq? Over the past year, I have developed a Coq frontend called PeaCoq (not to be mistaken with Yves Bertot’s Pcoq). If you wish to play with it before or while reading this article, I m...
17 人がブックマーク・8 件のコメント
＼ コメントが サクサク読める アプリです ／
GUI部分はHaskell+Snapか。
このブックマークにはスターがありません。
最初のスターをつけてみよう！