Pour une installation légère sous Linux ou Mac, choisir le premier ou deuxième lien.
Pas de version légère pour Windows pour le moment, utiliser la machine virtuelle.
La machine virtuelle prend une place mémoire importante (autour de 30Go), mais permettra une mise à jour facile. Voici les instructions d'installation :
Installez le logiciel Oracle VirtualBox VM sur votre système https://www.virtualbox.org/wiki/Downloads (si votre système est Linux et que vous ne tenez pas absolument a avoir la derniere version, il suffit de taper: sudo apt-get install virtualbox virtualbox-ext-pack)
Téléchargez le fichier : Debian-ProofAssistants.ova
Dans un explorateur de fichiers, faites un clic droit sur le fichier Debian-ProofAssistants.ova précédemment téléchargé et choisissez 'Ouvrir avec Oracle VM VirtualBox' Puis Cliquez sur 'Importer'
Dans le logiciel 'Oracle VM VirtualBox' cliquez sur la machine "Debian-ProofAssistants" (colonne de gauche) puis sur "Démarrer" (grosse flèche verte)
Le login est 'appam' et le mot de passe est 'anr'
Double-cliquer sur le script 'Deaduction.sh' qui apparait sur le bureau virtuel