2 search results for "tag:"date:2025-04-16""

Showing 1 - 2
  1. coq-fourcolor

    No documentation

    Mechanization of the Four Color Theorem in Coq
    category:Mathematics/Combinatorics and Graph Theory keyword:Four color theorem keyword:small scale reflection keyword:Mathematical Components logpath:fourcolor.proof date:2025-04-16
    Georges Gonthier
    1.4.2
    CECILL-B
    Used by 1 other packages
    13 Nov 2025
  2. coq-fourcolor-reals

    No documentation

    Interface for real numbers used in the Four Color Theorem
    category:Mathematics/Real Calculus and Topology keyword:real numbers logpath:fourcolor.reals date:2025-04-16
    Georges Gonthier
    1.4.2
    CECILL-B
    Used by 4 other packages
    13 Nov 2025