2 search results for "tag:"logpath:mathcomp.bigenough""

Showing 1 - 2
  1. coq-mathcomp-bigenough

    No documentation

    Compatibility package for rocq-mathcomp-bigenough
    keyword:bigenough keyword:asymptotic reasonning keyword:small scale reflection keyword:mathematical components logpath:mathcomp.bigenough
    Cyril Cohen
    1.0.4
    CeCILL-B
    Used by 8 other packages
    23 Feb 2026
  2. rocq-mathcomp-bigenough

    No documentation

    A small library to do epsilon - N reasoning
    keyword:bigenough keyword:asymptotic reasonning keyword:small scale reflection keyword:mathematical components logpath:mathcomp.bigenough
    Cyril Cohen
    1.0.4
    CeCILL-B
    Used by 1 other packages
    23 Feb 2026