ส่งซอฟต์แวร์
  1. บ้าน
  2. Linux
  3. อื่นๆ
  4. Archive of Formal Proofs

Archive of Formal Proofs 2011

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

หอจดหมายเหตุของหลักฐานอย่างเป็นทางการเป็นคอลเลกชันของห้องสมุดหลักฐานตัวอย่างและการพัฒนา scientifc ขนาดใหญ่ตรวจสอบทางกลในทฤษฎีบทพิสูจน์ Isabelle มันถูกจัดในทางของวารสารวิทยาศาสตร์ มีผู้ตัดสินการส่ง

ประวัติรุ่น

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

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

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

  • ADAM Abstract Data Access Models ฟรี

    เฟรมเวิร์ก Java 2 เฟรมเวิร์กที่มีรูปแบบวัตถุชั่วคราวและถาวรตามวิธีการที่ไม่เป็นมาตรฐาน (การพัฒนาที่เห็นได้ชัดน้อยกว่า แต่เร็วขึ้น): ไลบรารีที่ไม่ใช่วัตถุ 3 รายการลดความซับซ้อนในการเข้าถึงตารางที่เก็บไว้ใน RDB ไฟล์ข้อความ ฯลฯ

  • Jedora Remix VM ฟรี

    เครื่องใช้เสมือนเครื่อง Linux (สําหรับ Virtualbox) Fedora Remix นี้ให้ความสําคัญกับแอปพลิเคชันที่ใช้ Java รวมถึงOpenOffice.org, OpenJDK, ปลั๊กอินเบราว์เซอร์ (IcedTea) และแอปพลิเคชันที่ใช้ Java ยอดนิยมเช่น Azureus / Vuze, jEdi

  • DataAide ฟรี

    DataAide เป็นVB.Netเดสก์ท็อปที่ใช้เครื่องมือไคลเอ็นต์ SQL Server 2000 เพื่อสร้างคลาส VB.Net, C# หรือ VB6 และกระบวนงานที่เก็บไว้สําหรับตารางในฐานข้อมูล SQL Server 2k นอกจากนี้ยังสร้างรหัสADO.Net ADO เพื่อเรียกกระบวนงานที่เก็บไ

  • BlackFox OM (30' Series) ฟรี

    BlackFox OM (BlackFox, The Object Model) เป็นห้องสมุดสําหรับการถือครองและจัดการรูปแบบวัตถุของระบบแอปพลิเคชันและห้องสมุดใด ๆ คุณสามารถใช้มันเป็นส่วนหนึ่งของเครื่องมือ UML, ส่วนหนึ่งของเครื่องกําเนิดไฟฟ้ารหัส, ส่วนหนึ่งของระบบป

  • InfraHID ฟรี

    วัตถุประสงค์ของโครงการคือการอนุญาตให้เว็บคามปกติที่จะใช้เป็นอุปกรณ์อินเตอร์เฟซมนุษย์ (HID) ตัวอย่างของวิธีการใช้ซอฟต์แวร์นี้จะใช้คือ: เมาส์, ควบคุมวิดีโอเกม, กระดานไวท์บอร์ดอิเล็กทรอนิกส์หรือการเปลี่ยนแท็บเล็ตพีซี

  • Prop compiler compiler ฟรี

    Prop เป็นภาษาการจับคู่รูปแบบตาม C++ มันใช้ชนิดข้อมูลพีชคณิตการจับคู่รูปแบบและการเขียนใหม่และสร้างรหัส C ++ เป็นเอาต์พุต

  • ga-flamoot ฟรี

    อัลกอริทึมทางพันธุกรรมใน Python สําหรับการพัฒนาโปรแกรมที่เขียนสตริงที่กําหนดไปยัง dataspace ที่จัดสรรโดยใช้ภาษาเครื่องที่ทําขึ้นด้วยคําแนะนําเพียง 7 คําแนะนําและการกลับตัวของการไหล

  • Fennel ฟรี

    ยี่หร่าเป็นห้องสมุดของการจัดเก็บข้อมูลและการประมวลผลส่วนประกอบที่เขียนใน C ++ มันได้รับการพัฒนาเป็นโครงการย่อยของโครงการ Eigenbase และยังทําหน้าที่เป็นพื้นผิวสําหรับโครงการ Farrago

  • NExcel ฟรี

    ไลบรารี NExcel อนุญาตให้โปรแกรมประยุกต์ .NET อ่านแฟ้ม Ms Excel ได้ เข้ากันได้กับ Excel 97 และด้านบน ไม่จําเป็นต้องติดตั้ง Ms Office Excel หรือไลบรารีของบริษัทอื่น อ้างอิงจาก JExcelAPI โดย แอนดรูว์ คาน

  • OpenTag ฟรี

    OpenTag เป็นสแต็คการสื่อสารเต็มรูปแบบสําหรับ DASH7 Mode 2 (ISO 18000-7.4) มันมีวัตถุประสงค์เพื่อทํางานบน HW ฝังตัวโดยเฉพาะอย่างยิ่ง RF SoCs แต่มันสามารถพอร์ตได้เกือบทุกอย่าง ความสําเร็จหลักของ OpenTag คือคุณสมบัติขนาดใหญ่ แต่