Inria
Inria.fr
Inria Channel
Il y a 2 Résultats avec le mot clé : "Coq systems"
École de Printemps
International Spring School on Formalization of Mathematics
Inria research centre Sophia Antipolis - Mediterranee organises the next MAP Spring School on Formalization of Mathematics. The aim of this school is to give mathematicians and mathematically inclined researchers the keys to the Coq system and the Mathematical Components library.
Lieu : Inria Sophia Antipolis - Méditerranée
Mots-clés :
Accueil > Centre > Saclay > Agenda > International Spring School on Formalization of Mathematics
Ecole de printemps
MAP Spring School
Inria research centre Sophia Antipolis - Mediterranee organises the next MAP Spring School on Formalization of Mathematics. The aim of this school is to give mathematicians and mathematically inclined researchers the keys to the Coq system and the Mathematical Components library
Lieu : Inria Sophia Antipolis - Méditerranée
Mots-clés :
- Formalization
- Coq systems
- EPI Marelle
- Mathematics
- Algorithms
- Proofs
- INRIA Sophia Antipolis - Méditerranée
Accueil > Recherches > Agenda > MAP Spring School
Centres de recherche Inria
