NantesFP organise le mardi 27 novembre à 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.
- Inscription (35 clics)
- Présentation sur le site de NantesFP (88 clics)
- Le site du projet Coq (261 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 (page perso) . Évalué à 2.
Ah oui, effectivement, oubli bête de ma part…
Les modérateurs pourraient-ils faire quelque chose ?
Un pays bien organisé est celui où le petit nombre fait travailler le grand nombre, est nourri par lui, et le gouverne - Voltaire
[^] # Re: Site du projet
Posté par Benoît Sibaud (page perso) . É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 (page perso) . É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é !
Un pays bien organisé est celui où le petit nombre fait travailler le grand nombre, est nourri par lui, et le gouverne - Voltaire
Envoyer un commentaire
Suivre le flux des commentaires
Note : les commentaires appartiennent à ceux qui les ont postés. Nous n'en sommes pas responsables.