Docs des Services Numériques
Accès au "Réseau WiFi
Les Salles OSR
Serveur d'applications
Tutos UFR pour la Pédagogie
Les ressources info
Sidebar
ingenierie_de_la_preuve
This is an old revision of the document!
coq
Il faut installer à la fois coq et coqide (l'interface graphique pour coq). Attention il se peut que les raccourcis par défaut dans coqide soient en conflit avec des raccourcis pour changer de session dans les terminaux X. Pour tester il faut ouvrir ce fichier et essayer … à compléter
ingenierie_de_la_preuve.1275632294.txt.gz · Last modified: 2019/03/11 15:09 (external edit)
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
