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

Agda 1 1.0.2

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

Agda เป็นระบบสําหรับการพัฒนาหลักฐานและโปรแกรมที่เพิ่มขึ้น นี่คือโครงการซอร์สฟอร์จสําหรับ Agda ก่อนหน้า (Agda 1) Agda (Agda 2) เวอร์ชันที่ใหม่กว่าในการทดสอบเบต้ามีให้บริการจาก: http://wiki.portal.chalmers.se/agda/

ประวัติรุ่น

  • เวอร์ชัน 1.0.2 โพสต์เมื่อ 2008-04-23
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน 1.0.2 โพสต์เมื่อ 2008-04-23

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

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

  • Survival Medicine Guide ทดลองใช้ฟรี

    "ต้องใช้เครื่องอ่าน Adobe ฟรี"***นี่คือคู่มือยาเอาชีวิตรอดในกรณีที่สิ่งที่เราทุกคนกลัวเกิดขึ้นจริง นี่เป็นคําชมที่ดีสําหรับคู่มือการอยู่รอดที่ดี ข้อมูลนี้อาจไม่พร้อมใช้งานเมื่อคุณต้องการ รับทันทีและเตรียมพร้อม คู่มือทางกา

  • terz ฟรี

    Terz AutoTagger ที่น่าทึ่งคือตัวแท็กไฟล์เสียงอัตโนมัติและตัวเปลี่ยนชื่อไฟล์ มันใช้ข้อมูลที่ให้โดย musicbrainz การใช้ข้อมูลบริบท Terz ให้ผลลัพธ์ที่ดีมาก คุณสมบัติอื่น ๆ : แสดงอัลบั้มที่ไม่สมบูรณ์ค้นหารายการที่ซ้ํากัน

  • Lua ODE ฟรี

    Lua ODE มีผลผูกพันของ OpenDE สําหรับภาษา Lua สําหรับแพลตฟอร์ม Windoze, OS X และ Linux

  • assistent-fah ฟรี

    Assistent Folding@homeความเร็วในการเฉลี่ยของคอมพิวเตอร์ของคุณในโครงการFolding@homeแบบกระจายโดยล็อกไคลเอ็นต์ผู้ช่วยเหลือFolding@homeใบอนุญาตภายใต้ใบอนุญาตสาธารณะทั่วไปของ GNU

  • Spanish Tester Lite ทดลองใช้ฟรี

    สเปน Tester Pro ทดสอบคุณในการตัดสินคํากริยาภาษาสเปนและข้อตกลงระหว่างส่วนของการพูดโดยการสร้างคําถามแบบทดสอบจําลองคําถามแบบหลายตัวเลือกและแบบเติมข้อมูลจะทดสอบความรู้ของคุณในแบบฟอร์มคํากริยา 15 ข้อต่อไปนี้:&กลาง;ปัจจุ

  • IRBEM-LIB ฟรี

    IRBEM-LIB ให้กิจวัตรในการคํานวณพิกัดแม่เหล็กสําหรับตําแหน่งใด ๆ ในสนามแม่เหล็กของโลกเพื่อทําการแปลงพิกัดเพื่อประเมินแบบจําลองทางธรณีฟิสิกส์ / ฟิสิกส์อวกาศและเพื่อเผยแพร่วงโคจรในเวลา

  • libTopo ฟรี

    libTopo และ TopoMap เป็นเครื่องมือในการใช้แปลงวิเคราะห์และแสดงแผนที่ภูมิประเทศเช่น ETOPO2, ETOPO5 และ GLOBE TopoMap เป็นอินเทอร์เฟซบรรทัดคําสั่งเพื่อแปลงฐานข้อมูลภูมิประเทศเป็นข้อมูลดิบภาพ ฯลฯ ...

  • Nanodesigner ฟรี

    Nanodesigner เป็นแพลตฟอร์มซอฟต์แวร์สําหรับการวิจัยเกี่ยวกับนาโนเทคโนโลยีโมเลกุล มันมีสถาปัตยกรรมปลั๊กอินและจะรวมถึงเครื่องมือสําหรับการสร้างภาพโมเลกุลและการสร้างแบบจําลองการออกแบบโมเลกุลใหม่ที่ซับซ้อนพลวัต,...

  • Analysis & Reconstruction Sound ฟรี

    กลไกเสียงการวิเคราะห์และการบูรณะวิเคราะห์ไฟล์เสียงลงในสเปกโตรแกรมและสามารถสังเคราะห์สเปกโตรแกรมนี้หรือภาพที่ผู้ใช้สร้างขึ้นอื่น ๆ กลับเข้าไปในเสียง

  • G200X Motion controller ฟรี

    เฟิร์มแวร์และรหัส GUI สําหรับตัวควบคุมการเคลื่อนไหว Geckodrive G200X