吉祥寺北口システムが気になった記事をクリップしています。タイトルから元記事にリンクしています。タグは記事タイトルを形態素分析しています。たまにコメントをつけています。

Coq

• Alternative names ? coq/coq Wiki ? GitHub
  • Alternative(18)
  • Coq(2)
  • GitHub(1155)
  • Names(21)
  • Wiki(30)
• 証明支援システムCoq、新しい名称を検討中 | スラド デベロッパー
  • Coq(2)
  • システム(6910)
  • デベロッパー(971)
  • 名称(200)
  • 支援(5237)
  • 検討(976)
  • 証明(226)