1 search result for "tag:"logpath:PolTac""

Showing 1 - 1
  1. coq-poltac

    No documentation

    A set of tactics to deal with inequalities in Coq over N, Z and R:
    logpath:PolTac
    Laurent Théry
    0.8.12
    LGPL-2.1-only
    Used by 0 other packages
    27 Aug 2020