Coq development

Contributions to Coq, such as:

• Signed primitive integers, with Guillaume Melquiond and Pierre Roux (2020)

• Print Notation, with Ali Caglayan and Emilio Jesus Gallego Arias (2022)