1 search result for "tag:"logpath:coq-scev""

Showing 1 - 1
  1. coq-scev

    No documentation

    Proofs and simplification lemmas of an algebraic theory of recurrences
    keyword:mathematics category:Miscellaneous/Coq Extensions date:2016-09-01 logpath:coq-scev
    Siddharth Bhat
    1.0.1
    MIT
    Used by 0 other packages
    20 Nov 2018