ส่งซอฟต์แวร์
  1. บ้าน
  2. Linux
  3. อื่นๆ
  4. Lurch
  5. Download

Lurch 0.4

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

เกี่ยวกับ 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