Lurch 0.4
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
นอกจากนี้คุณยังสามารถคลิกที่ลิงค์ดาวน์โหลดภายนอกต่อไปนี้เพื่อเริ่มดาวน์โหลด:
http://sourceforge.net/projects/lurch/files/Lurch%20Lite/0.4/LurchLite-0.4-Setup.exe/download
เกี่ยวกับ Lurch
ซอฟต์แวร์สําหรับการสอนและการเรียนรู้หลักฐานทางคณิตศาสตร์ ในกรณีที่ซอฟต์แวร์พิสูจน์ทางคณิตศาสตร์ส่วนใหญ่มุ่งเน้นไปที่ตรรกะอย่างเป็นทางการ (หรือพื้นที่พิเศษอื่น ๆ ของคณิตศาสตร์) Lurch มีจุดมุ่งหมายเพื่อวัตถุประสงค์ทั่วไปอย่างแท้จริงโดยมีส่วนต่อประสานผู้ใช้ที่เข้าใจ
หลักสูตรที่เกี่ยวข้อง
-
TOTAL .NET Protector ทดลองใช้ฟรี
เนื่องจาก .NET เป็นสภาพแวดล้อมที่มีการจัดการ มีข้อเสียของการเปิดโค้ดของคุณให้กับทุกคนที่ใช้รีเฟลกเตอร์หรือวัสดุทนไฟเสมอSkater TOTAL จะแปลงรหัสภาษาระดับกลางของ Microsoft ที่ย่อยสลายได้ (MSIL หรือ CIL) ของแอสเซมบลีของคุณให้เป
-
Ziga ฟรี
แอปพลิเคชันไฟล์ที่เขียนใน Java มันใช้โมดูลเพื่อสนับสนุนโปรโตคอลที่แตกต่างกัน ในขณะนี้มีโมดูลสําหรับโปรโตคอล Napster และ Gnutella
-
Scriptol Xul Dev ฟรี
Xul Dev หมายถึงสภาพแวดล้อมการพัฒนา Xul IDE มีวัตถุประสงค์เพื่อออกแบบอินเทอร์เฟซ Xul และเพื่อสร้างโปรแกรมในภาษาการเขียนโปรแกรมใด ๆ IDE ถูกเขียนขึ้นใน Scriptol C++ และพร้อมใช้งานในรูปแบบต้นฉบับและเป็นตัวปฏิบัติการไบนารี
-
cmpio library ฟรี
Libcmpio เป็นห้องสมุดวัตถุประสงค์ทั่วไปซึ่งให้วิธีที่ง่ายในการจัดการไฟล์ข้อมูลที่มีความยาวบันทึกตัวแปรการบีบอัดบันทึกการสร้างและการควบคุมปริมาณโปร่งใสและการพกพาระหว่างแพลตฟอร์มที่แตกต่างกัน
-
Nuke My Tablet ทดลองใช้ฟรี
Nuke My Tablet ปกป้องความเป็นส่วนตัวของคุณโดยการลบข้อมูลส่วนบุคคลของคุณอย่างปลอดภัยเช่นภาพถ่ายและวิดีโอและส่งคืนโทรศัพท์ของคุณไปยังการตั้งค่าจากโรงงาน ตอนนี้คุณสามารถซื้ออุปกรณ์เก่าหรืออัพเกรดอุปกรณ์ปัจจุบันของคุณได้อย่างปลอด
-
the prefuse visualization toolkit ฟรี
เครื่องมือซอฟต์แวร์สําหรับการสร้างแอปพลิเคชันการสร้างภาพข้อมูลแบบโต้ตอบ Prefuse สนับสนุนชุดคุณสมบัติที่หลากหลายสําหรับการสร้างแบบจําลองข้อมูลการสร้างภาพภาพเคลื่อนไหวและการโต้ตอบสําหรับทั้ง Java (prefuse) และ Flash (เปลวไฟก่อน
-
AJIO ฟรี
AJIO อนุญาตให้สร้างไหจากชั้นเรียนหนึ่งคลาสหรือมากกว่า ไฟล์โถที่สร้างขึ้นมีคลาสที่พึ่งพาทั้งหมดจากไฟล์โถอ้างอิงทั้งหมดAJIO permet de crer UN jar partir d'une ou plusieurs คลาส et de leur dpendances automatiquements
-
AdaDLX ฟรี
นี่คือการดําเนินการ Ada ของการเต้นรําลิงค์ X อัลกอริทึมเช่นเดียวกับในกระดาษ Donald. Knuth AdaDLX ใช้เพื่อแก้ปริศนาแปดควีนส์กริดซูโดกุและ Blocs ในปริศนากล่อง
-
Php5 Meta-Model ฟรี
รุ่น Php 5 โครงการนี้เป็นเจ้าภาพ ecore Php 5 Model และเครื่องกําเนิดไฟฟ้า
-
Spyc ฟรี
Spyc เป็นคลาสตัวโหลด /dumper YAML ที่เรียบง่ายสําหรับ PHP มันสามารถใช้ในการโหลดไฟล์ YAML ลงในโครงสร้างข้อมูล PHP หรือเพื่อถ่ายโอนข้อมูลอาร์เรย์ PHP ไปยัง YAML อย่างง่าย สําหรับข้อมูลเพิ่มเติมเกี่ยวกับ YAML ให้ดูที่ www.yaml.o