2 search results for "tag:"keyword: constructive mathematics""

Showing 1 - 2
  1. coq-constructive-geometry

    No documentation

    Elements of Constructive Geometry
    keyword: constructive mathematics keyword: geometry category: Mathematics/Geometry/General
    Gilles Kahn
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  2. coq-ramsey

    No documentation

    Ramsey Theory
    keyword: dimension one Ramsey theorem keyword: constructive mathematics keyword: almost full sets category: Mathematics/Logic category: Mathematics/Combinatorics and Graph Theory category: Miscellaneous/Extracted Programs/Combinatorics
    Marc Bezem
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019