1 search result for "tag:"keyword: statistics""

Showing 1 - 1
  1. coq-counting

    No documentation

    Counting: a Coq plugin for measuring definitions/proofs
    keyword: statistics category: Miscellaneous/Coq Extensions
    Stéphane Lescuyer
    8.6.0
    Unknown
    Used by 1 other packages
    20 Nov 2018