Quentin Carbonneaux
Ph.D. Dissertation

The draft will be updated a few times to improve the presentation of the final version. When I update it, I will include a summary of the changes that went into the new version.

Drafts

Coq proofs