User:Roglo

Daniel de Rauglaudre - Research Engineer at Inria, Paris (https://www.inria.fr/en/centre-inria-de-paris). Translating mathematical proofs into Coq (proof assistant software).