Agda 1 1.0.2
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
นอกจากนี้คุณยังสามารถคลิกที่ลิงค์ดาวน์โหลดภายนอกต่อไปนี้เพื่อเริ่มดาวน์โหลด:
http://sourceforge.net/projects/agda/files/Agda/1.0.2/Agda-1.0.2a-latin1.tar.gz/download
เกี่ยวกับ Agda 1
Agda เป็นระบบสําหรับการพัฒนาหลักฐานและโปรแกรมที่เพิ่มขึ้น นี่คือโครงการซอร์สฟอร์จสําหรับ Agda ก่อนหน้า (Agda 1) Agda (Agda 2) เวอร์ชันที่ใหม่กว่าในการทดสอบเบต้ามีให้บริการจาก: http://wiki.portal.chalmers.se/agda/
หลักสูตรที่เกี่ยวข้อง
-
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