P

ProgrammezCoq

Une description de la programmation en Coq pour un magazine grand public.