1 search result for "tag:"logpath:mathcomp.bigenough""

Showing 1 - 1
  1. coq-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.2
    CeCILL-B
    Used by 8 other packages
    25 Jan 2025