Отправить программное обеспечение
  1. Дома
  2. Linux
  3. Других
  4. Lurch

Lurch 0.4

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 3.0/5 - ‎1 ‎Голосов
Скачать

Программное обеспечение для обучения и изучения математических доказательств Там, где большинство математических доказательств программного обеспечения концентрируется на формальной логике (или какой-либо другой специальности области математики), Lurch стремится быть действительно общего назначения, с attracitve пользовательский интерфейс.

история версии

  • Версия 0.4 размещено на 2010-09-22
    Несколько исправлений и обновлений
  • Версия 0.4 размещено на 2010-09-22

Подробная информация о программе

Похожие программы

  • TOTAL .NET Protector Бесплатная пробная версия

    Поскольку .NET является управляемой средой, всегда есть недостаток того, что ваш код открыт для всех, кто использует Reflector или Refractor.Skater TOTAL преобразует декомпилируемый код промежуточного языка Майкрософт (MSIL

  • 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), так и дл

  • AJIO Бесплатный

    AJIO позволяет строить банки из одного или несколько классов. Созданный файл банки содержит все классы иждивенцев из всех файлов со ссылкой на банку.AJIO permet de crer UN jar partir d'une ou plusieurs классы et de leur d

  • AdaDLX Бесплатный

    Это Ада реализации Танцы Ссылки X Алгоритм, как в дональд Е. Кнут бумаги. AdaDLX используется для решения головоломки Восемь-Квинс, Судоку сетки и блоки в коробке головоломки.

  • Php5 Meta-Model Бесплатный

    Модель Php 5. В этом проекте размещается ecore Php 5 Model и ее генератор.

  • Spyc Бесплатный

    Spyc является простым ЯМЛ погрузчик / дамплер класса для PHP. Он может быть использован для загрузки файлов YAML в структуры данных PHP или для сброса массивов PHP в простой YAML. Для получения дополнительной дополнительной д