Sites Inria

There are 2 Results with the keyword : "Coq systems"

Spring school

International Spring School on Formalization of Mathematics

12/03/2012 to 16/03/2012

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.

Place : Inria Sophia Antipolis - Méditerranée

Keywords:

Home > Centre > Saclay > Calendar > International Spring School on Formalization of Mathematics

Lire la suite

© INRIA Sophie Auvin - M comme Multimédia

Spring School

MAP Spring School

12/03/2012 to 16/03/2012

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

Place : Inria Sophia Antipolis - Méditerranée

Keywords:

Home > Research > Calendar > MAP Spring School

Read more

Top