Albgr03
Inscrit depuis le 12 avril 2013
Proof. auto. Qed. J'utilise l'assistant de preuve Coq. |
Doctorant à l'Institut de recherche en informatique de Toulouse.
Proof. auto. Qed. J'utilise l'assistant de preuve Coq. |
Doctorant à l'Institut de recherche en informatique de Toulouse.