Coqtail

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 4.0/5 - ‎2 ‎โหวต

เกี่ยวกับ Coqtail

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