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.1
    CeCILL-B
    Used by 8 other packages
    10 Dec 2021