Une page de Wikipédia, l'encyclopédie libre.
Titre correct : « Albgr03 ».
En raison de limitations techniques, la typographie souhaitable du titre n’a pu être restituée correctement.
|
Non au franglais Je suis allergique à l'omniprésent franglais.
|
|
OCaml
|
|
always @ (posedge rxclk) (
Je parle couramment le Verilog.
|
|
Proof. auto. Qed.
J'utilise l'assistant de preuve Coq.
|
|
bépo
|
|
Doctorant à l'Institut de recherche en informatique de Toulouse.