タグ

関連タグで絞り込む (0)

  • 関連タグはありません

タグの絞り込みを解除

programmingとCoqに関するauientのブックマーク (1)

  • IIJ Research Laboratory


     使 ...  使 IIJ
    auient
    auient 2011/04/07
    証明するプログラミング言語「Coq」。
  • 1