3 search results for "author:"David Delahaye""

Showing 1 - 3
  1. coq-fermat4

    No documentation

    Diophantus' 20th Problem and Fermat's Last Theorem for n = 4
    keyword: Diophantus keyword: Fermat keyword: arithmetic keyword: infinite descent category: Mathematics/Arithmetic and Number Theory/Number theory date: 2005-07
    David Delahaye Micaela Mayero
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  2. coq-maple-mode

    No documentation

    A Maple Mode for Coq
    keyword: Maple keyword: simplification keyword: field tactic category: Miscellaneous/Coq Extensions date: 2002-03
    David Delahaye Micaela Mayero
    8.9.0
    Unknown
    Used by 0 other packages
    08 Dec 2019
  3. coq-relation-extraction

    No documentation

    Functions extraction from inductive relations
    keyword: extraction keyword: inductive relations keyword: semantics category: Computer Science/Semantics and Compilation/Compilation date: 2011
    Catherine Dubois, David Delahaye, Pierre-Nicolas Tollitte
    8.8.0
    Unknown
    Used by 0 other packages
    06 Feb 2019