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

Showing 1 - 1
  1. coq-mathcomp-algebra-tactics

    No documentation

    Ring, field, lra, nra, and psatz tactics for Mathematical Components
    logpath:mathcomp.algebra_tactics
    Kazuhiko Sakaguchi Pierre Roux
    1.2.7
    CECILL-B
    Used by 2 other packages
    05 Sep 2025