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

Showing 1 - 1
  1. 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