reasoning in the Coq proof
assistant. Fundamental research in proof-theory, semantics and programming. Formalization in Coq... appreciated: fixed-points and circular proofs, the Coq proof
assistant, inductive and coinductive types, guarded recursion... -
Voir cette offre d'emploi