Il s'agit de l'application Linux Agda, dont la dernière version est téléchargeable sous le nom Agda-v2.8.0-win64.zip. Elle peut être exécutée en ligne sur l'hébergeur gratuit OnWorks pour postes de travail.
Téléchargez et exécutez en ligne cette application nommée Agda avec OnWorks gratuitement.
Suivez ces instructions pour exécuter cette application :
- 1. Téléchargé cette application sur votre PC.
- 2. Entrez dans notre gestionnaire de fichiers https://www.onworks.net/myfiles.php?username=XXXXX avec le nom d'utilisateur que vous voulez.
- 3. Téléchargez cette application dans ce gestionnaire de fichiers.
- 4. Démarrez l'émulateur en ligne OnWorks Linux ou Windows en ligne ou l'émulateur en ligne MACOS à partir de ce site Web.
- 5. Depuis le système d'exploitation OnWorks Linux que vous venez de démarrer, accédez à notre gestionnaire de fichiers https://www.onworks.net/myfiles.php?username=XXXXX avec le nom d'utilisateur que vous souhaitez.
- 6. Téléchargez l'application, installez-la et exécutez-la.
CAPTURES D'ÉCRAN
Ad
Agda
DESCRIPTION
Agda est un langage de programmation fonctionnelle totale typé de manière dépendante et un démonstrateur de théorèmes interactif basé sur la théorie des types de Martin-Löf. Il permet d'exprimer des programmes et des preuves dans le même langage, en utilisant la correspondance Curry-Howard. Il offre un développement interactif via Emacs, Atom ou VS Code.
Caractéristiques
- Langage typé dépendant permettant l'encodage des preuves sous forme de types
- Vérification de la totalité et de la terminaison pour assurer la cohérence
- Développement de preuves interactives avec métavariables et intégration Emacs/Vim/VS Code
- Prise en charge Unicode et syntaxe rappelant Haskell
- Bibliothèque standard contenant des définitions pour les structures de données principales et les preuves
- Backends incluant MAlonzo (Haskell) et JavaScript pour les cibles de compilation
Langage de programmation
Haskell
Catégories
Cette application peut également être téléchargée depuis https://sourceforge.net/projects/agda.mirror/. Elle est hébergée sur OnWorks afin de pouvoir être exécutée en ligne plus facilement depuis l'un de nos systèmes d'exploitation gratuits.
