Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. Archive of Formal Proofs

Archive of Formal Proofs 2011

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 4.0/5 - ‎1 ‎Phiếu
Tải về

Lưu trữ các bằng chứng chính thức là một tập hợp các thư viện bằng chứng, ví dụ, và phát triển scientifc lớn hơn, máy móc kiểm tra trong định lý chứng minh Isabelle. Nó được tổ chức theo cách của một tạp chí khoa học. Đệ trình được refereed.

lịch sử phiên bản

  • Phiên bản afp-Isabelle2011 đăng trên 2011-04-03
    Một số bản sửa lỗi và cập nhật
  • Phiên bản afp-Isabelle2011 đăng trên 2011-04-03

Chi tiết chương trình

Các chương trình liên quan

  • ADAM Abstract Data Access Models Miễn phí

    2 framework Java với các mô hình đối tượng thoáng qua và dai dẳng dựa trên cách tiếp cận không chuẩn (ít rõ ràng hơn nhưng phát triển nhanh hơn): một đối tượng là một tập hợp các trường được đặt tên. 3 thư viện không phải đối

  • Jedora Remix VM Miễn phí

    Một thiết bị Linux máy ảo (cho VirtualBox). Fedora Remix này nhấn mạnh vào các ứng dụng dựa trên Java. Bao gồm OpenOffice.org, OpenJDK, trình cắm trình duyệt (IcedTea) và các ứng dụng dựa trên Java phổ biến như Azureus / Vuze

  • DataAide Miễn phí

    DataAide là một ứng dụng máy tính để bàn VB.Net sử dụng sql server 2000 khách hàng công cụ để tạo ra VB.Net, C #, hoặc VB6 lớp học và thủ tục được lưu trữ cho các bảng trong một cơ sở dữ liệu SQL Server 2k. Nó cũng tạo ra một

  • BlackFox OM (30' Series) Miễn phí

    BlackFox OM (BlackFox, The Object Model) là một thư viện để giữ và thao tác các mô hình đối tượng của bất kỳ hệ thống, ứng dụng và thư viện nào. Bạn có thể sử dụng nó như là một phần của công cụ UML, một phần của máy phát điệ

  • InfraHID Miễn phí

    Mục đích của dự án là cho phép một webcam bình thường được sử dụng như một thiết bị giao diện con người (HID). Ví dụ về cách sử dụng phần mềm này sẽ được sử dụng là: chuột, trò chơi video điều khiển, bảng trắng điện tử hoặc t

  • Prop compiler compiler Miễn phí

    Prop là một ngôn ngữ phù hợp với mô hình dựa trên C ++. Nó thực hiện các kiểu dữ liệu đại số, kết hợp mẫu và viết lại và tạo mã C++ dưới dạng đầu ra.

  • ga-flamoot Miễn phí

    Một thuật toán di truyền trong Python cho các chương trình phát triển viết một chuỗi nhất định cho một không gian dữ liệu được phân bổ, sử dụng một ngôn ngữ máy tạo thành chỉ với 7 hướng dẫn và đảo ngược dòng chảy.

  • Fennel Miễn phí

    Thì là là một thư viện các thành phần lưu trữ và xử lý dữ liệu được viết bằng C ++. Nó được phát triển như một tiểu dự án của Dự án Eigenbase, và cũng phục vụ như một chất nền cho dự án Farrago.

  • NExcel Miễn phí

    Thư viện NExcel cho phép một ứng dụng .NET để đọc các tập tin Ms Excel, tương thích với Excel 97 trở lên. Không cần cài đặt Ms Office Excel hoặc bất kỳ thư viện của bên thứ ba nào. Dựa trên JExcelAPI của Andrew Khan.

  • OpenTag Miễn phí

    OpenTag là một ngăn xếp thông tin liên lạc đầy đủ tính năng cho CHẾ ĐỘ DASH7 2 (ISO 18000-7.4). Nó được thiết kế để chạy trên HW nhúng, đặc biệt là RF SoCs, nhưng nó có thể được chuyển đến hầu hết mọi thứ. Kỳ công chính của O