ส่งซอฟต์แวร์

โปรแกรมตาม coqtail.sf.net

  • Coqtail ฟรี

    ทฤษฎี COQ, นามธรรมและการใช้งาน (ระดับปริญญาตรี) Coqtail เป็นห้องสมุดของหลักฐานทางคณิตศาสตร์โดยใช้ผู้ช่วยพิสูจน์ Coq