Agda

Главные вкладки

Agda
1

Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors...

  • Windows
  • Mac
  • Linux
Больше информации
Лицензия
Открытое ПО
Официальный сайт

Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It also has parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs interfa...

Теги
mathematics, programming-language, safety, verification, proof-assistant, proofs, formal

Альтернативы приложению Agda для Android

К сожалению мы не нашли альтернативы этому приложению по вашим критериям :(

Нашли какие-либо ошибки в информации о Agda? Может быть вы знаете альтернативу, которая еще не указана в списке? Вы можете редактировать информацию о Agda или предложить новые альтернативы.

Добавить отзывДобавить альтернативуИзменить информацию о приложенииПожаловаться

О сайте

Сервис SuggestUse поможет найти альтернативное программное обеспечение для вашего компьютера, мобильного телефона или планшета.

Основная идея заключается в том, что поиск производится по тем приложениям, которые требуется заменить, в результате получаете список альтернатив на основе рекомендаций зарегистрированных пользователей.

Когда сервис может быть полезен?

— Вы пересели с компьютера на котором установлен Windows, на OS X, но в Windows вы пользовались программой Total Commander которой для OS X не существует. Вы заходите на наш сервис, вводите в поиске TotalCommander для OS X и в результате получаете список альтернативных программ которые работают в системе Mac OS X.
— Вам надоела программа которая постоянно вылетает или зависает? Вы также просто можете найти ей альтернативу, введите ее название в поиске, и выберите вашу операционную систему.