What we're about

Coq est un langage de programmation fonctionnel et un assistant interactif de preuve développé à l'Inria depuis 30 ans. Bénéficiant d'une grande diffusion dans l'environnement académique, Coq est aussi utilisé dans l'industrie du logiciel, avec un rôle fondamental pour la construction de logiciel vérifié formellement.

Le groupe des utilisateurs de Coq en région parisienne est ouvert à tous ceux qui veulent en savoir plus sur Coq, rencontrer les développeurs et partager leur expérience sur l'utilisation de Coq dans leur domaine.

Vous souhaiteriez héberger le Coq Users Meetup? Proposer une présentation ? N'hésitez pas à nous contacter ! À bientôt !

Past events (2)

Coq Users in PariS

60 Boulevard Saint-Michel

Premier Meetup Coq

Mines ParisTech

Photos (2)