NantesFP organise le mardi 27 novembre 2012 à 19h30 une conférence sur le logiciel assistant de preuve Coq.
La présentation aura lieu à la Cantine, impasse Juton à Nantes et abordera pour cette première partie le cadre mathématique de Coq.
Cette présentation, gracieusement proposée et réalisée par Maxime Folschette, sera la première d'une série couvrant les principaux aspects de Coq et de son langage Gallina.
Les prochaines séances s'orienteront petit à petit vers un mode plus « travaux pratiques » afin que chaque participant puisse s'approprier l'outil.
Le nombre de places étant limité, une inscription est nécessaire.
Aller plus loin
- Inscription (44 clics)
- Présentation sur le site de NantesFP (92 clics)
- Le site du projet Coq (265 clics)
# Site du projet
Posté par Storm . Évalué à 1.
Bien que je n'ai rien contre Wikipedia, je pense qu'il aurait été plus pertinent de mettre un lien vers la page du projet, suivi éventuellement du lien vers l'article WP pour d'éventuelles explications complémentaires.
[^] # Re: Site du projet
Posté par Ontologia (site web personnel) . Évalué à 2.
Ah oui, effectivement, oubli bête de ma part…
Les modérateurs pourraient-ils faire quelque chose ?
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Site du projet
Posté par Benoît Sibaud (site web personnel) . Évalué à 2.
Le lien WP étant déjà dans la dépêche, j'ai remplacé le lien supplémentaire.
# Diapos et code de la présentation
Posté par Ontologia (site web personnel) . Évalué à 2.
Le code et les diaporamas de la présentation d'hier soir se trouvent ici.
Remercions Maxime pour son cours d'une très grande clarté !
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.