1 search result for "tag:"category:Math/Logic/Set theory""

Showing 1 - 1
  1. rocq-num-analysis-subset

    No documentation

    Subsets for numerical analysis in Rocq
    category:Math/Logic/Set theory date:2025-12 logpath:NumAnalysis.Requisite logpath:NumAnalysis.Logic logpath:NumAnalysis.Numbers logpath:NumAnalysis.Subsets keyword:subset keyword:function keyword:homogeneous binary relation keyword:operation on finite families
    Sylvie Boldo François Clément Vincent Martin Micaela Mayero Florian Faissole et al.
    2.1.0
    LGPL-3.0-or-later
    Used by 2 other packages
    27 Nov 2025