1 search result for "tag:"logpath:fourcolor.proof""

Showing 1 - 1
  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:2024-11-15
    Georges Gonthier
    1.4.0
    CECILL-B
    Used by 1 other packages
    15 Nov 2024