User:Roglo

From ProofWiki

Jump to navigation Jump to search

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).

Retrieved from "https://proofwiki.org/w/index.php?title=User:Roglo&oldid=523532"