Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. Lurch

Lurch 0.4

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

Phần mềm giảng dạy và học chứng minh toán học Trong trường hợp hầu hết các phần mềm chứng minh toán học tập trung vào logic chính thức (hoặc một số lĩnh vực chuyên môn khác của toán học), Lurch nhằm mục đích thực sự là mục đích chung, với một giao diện người dùng khó chịu.

lịch sử phiên bản

  • Phiên bản 0.4 đăng trên 2010-09-22
    Một số bản sửa lỗi và cập nhật
  • Phiên bản 0.4 đăng trên 2010-09-22

Chi tiết chương trình

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

  • TOTAL .NET Protector Dùng thử miễn phí

    Vì .NET là một môi trường được quản lý, luôn có nhược điểm là mở mã của bạn cho bất kỳ ai sử dụng Reflector hoặc Refractor.Skater TOTAL chuyển đổi mã ngôn ngữ trung gian microsoft dịch (MSIL hoặc CIL) hội đồng của bạn thành

  • Ziga Miễn phí

    Một ứng dụng chia sẻ tệp được viết bằng Java. Nó sử dụng các mô-đun để hỗ trợ các giao thức khác nhau. Hiện tại có một mô-đun cho giao thức Napster và Gnutella có sẵn.

  • Scriptol Xul Dev Miễn phí

    Xul Dev có nghĩa là cho xul môi trường phát triển. IDE được thiết kế để thiết kế giao diện Xul và để làm cho các chương trình trong bất kỳ ngôn ngữ lập trình. IDE được viết bằng Scriptol C++ và có sẵn ở dạng nguồn và như nhị

  • cmpio library Miễn phí

    Libcmpio là một thư viện mục đích chung, cung cấp một cách dễ dàng để thao tác các tập tin dữ liệu với độ dài hồ sơ biến, nén hồ sơ, tạo khối lượng trong suốt và kiểm soát và tính di động giữa các nền tảng khác nhau.

  • Nuke My Tablet Dùng thử miễn phí

    Nuke My Tablet bảo vệ quyền riêng tư của bạn bằng cách xóa an toàn dữ liệu cá nhân của bạn, chẳng hạn như ảnh và video và đưa điện thoại về cài đặt gốc. Bây giờ bạn có thể sử dụng lại các thiết bị cũ một cách an toàn hoặc nân

  • the prefuse visualization toolkit Miễn phí

    Công cụ phần mềm để xây dựng các ứng dụng trực quan hóa thông tin tương tác. Prefuse hỗ trợ một tập hợp phong phú các tính năng để lập mô hình hóa dữ liệu, trực quan hóa, hoạt hình và tương tác cho cả Java (prefuse) và Flash

  • AJIO Miễn phí

    AJIO cho phép xây dựng lọ từ một hoặc nhiều lớp học. Các tập tin jar tạo ra có chứa tất cả các lớp phụ thuộc từ tất cả các tập tin jar tham chiếu.AJIO permet de crer UN jar partir d'une ou plusieurs lớp et de leur dpendan

  • AdaDLX Miễn phí

    Đây là một thực hiện Ada của Dancing Links X Algorithm như trong bài báo Donald E. Knuth. AdaDLX được sử dụng để giải quyết các câu đố Tám-Queens, Sudoku lưới và Blocs trong hộp câu đố.

  • Php5 Meta-Model Miễn phí

    Mô hình Php 5. Dự án này tổ chức ecore Php 5 Model và máy phát điện của nó.

  • Spyc Miễn phí

    Spyc là một lớp nạp/dumper YAML đơn giản cho PHP. Nó có thể được sử dụng để tải các tập tin YAML vào cấu trúc dữ liệu PHP hoặc để đổ mảng PHP để YAML đơn giản. Để biết thêm thông tin về YAML, xem www.yaml.org.