Knowledge Tree

researcher / Stephane Lescuyer

Stephane Lescuyer

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Formalizing and Implementing a Reflexive Tactic for Automated Deduction in Coq