吉祥寺北口システムが気になった記事をクリップしています。タイトルから元記事にリンクしています。タグは記事タイトルを形態素分析しています。たまにコメントをつけています。
Coq
証明支援システムCoq、新しい名称を検討中 | スラド デベロッパー
Coq
(2)
システム
(5669)
デベロッパー
(967)
名称
(197)
支援
(4409)
検討
(914)
証明
(146)
Alternative names ? coq/coq Wiki ? GitHub
Alternative
(17)
Coq
(2)
GitHub
(815)
Names
(19)
Wiki
(28)