Results 171 to 175 of about 12,151 (175)

CĀPŌ (-ŌNE) (lat.) coq châtré ; coq

2020
openaire   +1 more source

A Verified Foreign Function Interface between Coq and C

Kathrin Stark, Andrew W Appel, Appelandrew W   +2 more
exaly  

Extraction certifiée dans Coq-en-Coq.

Stud. Inform. Univ., 2009
openaire   +1 more source

Article I Le Coq and Le Coq Parisien

2016
openaire   +1 more source

Program in Coq. (Programmer en Coq).

openaire   +1 more source