2013-06-20から1日間の記事一覧
Paulson 教授の MetiTarski の組み込みは当然 Isabelle が最初になると思っていたのですが,13日に更新されたNASAのPVSライブラリーhttp://shemesh.larc.nasa.gov/fm/ftp/larc/PVS-library/nasalib-6.0.5-full.tgzに先を越されてしまいました.出所はお弟子…
Paulson 教授の MetiTarski の組み込みは当然 Isabelle が最初になると思っていたのですが,13日に更新されたNASAのPVSライブラリーhttp://shemesh.larc.nasa.gov/fm/ftp/larc/PVS-library/nasalib-6.0.5-full.tgzに先を越されてしまいました.出所はお弟子…