There are 1 Results with the keyword : "Proofs"
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
- Coq systems
- EPI Marelle
- INRIA Sophia Antipolis - Méditerranée
Inria Research Centers
- Sophia (1)