ส่งซอฟต์แวร์
  1. บ้าน
  2. Windows
  3. อื่นๆ
  4. Coqtail

Coqtail

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

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

ประวัติรุ่น

  • เวอร์ชัน files โพสต์เมื่อ 2010-04-07
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน N/A โพสต์เมื่อ 2010-04-07

รายละเอียดหลักสูตร

หลักสูตรที่เกี่ยวข้อง

  • Triplets / Triple ฟรี

    Ce logiciel recherche tous les triplets pythagoriciens que l'on peut อดีต avec un nombre allant de 1 9999999999. / ซอฟต์แวร์นี้มองหาทริปเปิล Pythagorean ทั้งหมดซึ่งเราสามารถสร้างด้วยตัวเลขจาก 1 ถึง 999999999

  • FunnyRobot Platform ฟรี

    โครงการ FunnyRobot ออกแบบหุ่นยนต์ควบคุมการศึกษาที่สามารถตั้งโปรแกรมได้ผ่าน USB ทั้งฮาร์ดแวร์และซอฟต์แวร์สามารถกําหนดค่าและขยายได้ ผู้ใช้สามารถสร้างโปรแกรมด้วยไลบรารี C++ และเรียกใช้ภายใต้ระบบปฏิบัติการแบบเรียลไทม์

  • Merriam-Webster s Unabridged ทดลองใช้ฟรี

    พจนานุกรมนานาชาติใหม่ที่สามของ Merriam-Webster, Unabridged - พจนานุกรมที่ครอบคลุมที่สุดของอเมริกา------------รายละเอียดพจนานุกรม:วัวมากกว่า 257,244 รายการและคําจํากัดความ 700,000 รายการวัว 143,000 etymologies อธิบ

  • Madagascar ฟรี

    มาดากัสการ์เป็นแพคเกจซอฟต์แวร์สําหรับการประมวลผลข้อมูลทางธรณีวิทยาและการทดลองตัวเลขที่ทําซ้ําได้ ภารกิจแพคเกจคือเพื่อให้สภาพแวดล้อมที่สะดวกสําหรับนักวิจัยที่ทํางานกับภาพดิจิตอลและการประมวลผลข้อมูล

  • Parable NKJV ฟรี

    ฟรี: พระกิตติคุณทั้งหมดของยอห์น (2 ชั่วโมง 14 นาที) ที่มี Lou Gossett, จูเนียร์เป็นยอห์น. เมื่อใดก็ตามที่คุณสามารถซื้อเสียงที่สมบูรณ์สําหรับพันธสัญญาเดิมและพันธสัญญาใหม่ของ Parable NKJV หรือคุณสามารถซื้อหนังสือเป็นรายบุคคล Pa

  • LibreEngineering ฟรี

    LibreEngineering - ชุดเครื่องมือไฟฟ้าเครื่องกลการคํานวณวิศวกรรมกระบวนการและโปรแกรมการออกแบบและเครื่องมืออื่น ๆ ได้รับอนุญาตภายใต้ GPL3 เขียนในงูหลามกับชุดเครื่องมือ Qt

  • AVR Attiny26 Visual Programmer ฟรี

    โปรแกรมเมอร์ GUI ภาพสําหรับไมโครคอนโทรลเลอร์ Attiny26 สําหรับเอาต์พุตประกอบเป็นเลขฐานสิบหกและอัปโหลดไปยังฮาร์ดแวร์ด้วยอินเทอร์เฟซที่ใช้งานง่าย (Tekbots-OSU)

  • GRE Mnemonics Wordlist Lite ฟรี

    -------------------กรุณาทําแบบสํารวจนี้ให้เสร็จสมบูรณ์เพื่อช่วยเราปรับปรุงแอปนี้http://goo.gl/xwyyCX-------------------แอพสร้างคําศัพท์ที่สมบูรณ์แบบสําหรับการเตรียม GRE, CAT, PSAT, SAT, LSAT, GED, ESL, GMAT, ACT, M

  • Asmaul Husna ฟรี

    พระนาม 99 ของพระผู้เป็นเจ้าหรือพระนาม 99 ของอัลลอฮฺคือพระนามของพระผู้เป็นเจ้าซึ่งชาวมุสลิมนับถือพระเจ้า (อัลลอฮฺ) และที่อธิบายไว้ใน อัลกุรอาน และสุนนาห์ ท่ามกลางที่อื่น

  • Doxygen filters ฟรี

    ตัวกรอง Doxygen สําหรับภาษาการเขียนโปรแกรมเหล่านี้: R จาก GNU, q จาก kx.com, MatLab จาก MathWorks โปรแกรมเหล่านี้มีการใช้งานใน C++ โดยใช้ Flex++ พวกเขาให้แหล่งข้อมูลแบบอินไลน์เต็มรูปแบบไม่เพียง แต่คําจํากัดความของฟังก์ชั่น