4 search results for "tag:"date:2024-11-15""

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

    No documentation

    General-purpose automated reasoning hammer tool for Coq
    category:Miscellaneous/Coq Extensions keyword:automation keyword:hammer logpath:Hammer.Plugin date:2024-11-15
    Lukasz Czajka <lukaszcz@mimuw.edu.pl> Cezary Kaliszyk <cezary.kaliszyk@uibk.ac.at>
    1.3.2+8.20
    LGPL-2.1-only
    Used by 1 other packages
    15 Nov 2024
  4. coq-hammer-tactics

    No documentation

    Reconstruction tactics for the hammer for Coq
    keyword:automation keyword:hammer keyword:tactics logpath:Hammer.Tactics date:2024-11-15
    Lukasz Czajka <lukaszcz@mimuw.edu.pl>
    1.3.2+8.20
    LGPL-2.1-only
    Used by 1 other packages
    15 Nov 2024