首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > COQ IDE界面

COQ IDE界面

  • 资源大小:347.51 kB
  • 上传时间:2021-06-30
  • 下载次数:0次
  • 浏览次数:1次
  • 资源积分:1积分
  • 标      签: 界面

资 源 简 介

This is a Graphical User Interface for coding in Coq, a Proof Assistant. It has been developped during a Project with the whole M1IF of the ENS Lyon, during the year 2009-2010 For debian-like users : Binaire : deb http://perso.ens-lyon.fr/yann.hourdel/apt karmic main Sources : deb-src http://perso.ens-lyon.fr/yann.hourdel/apt karmic main

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP