1 search result for "tag:"keyword:proof environment manipulation""

Showing 1 - 1
  1. coq-libhyps

    No documentation

    Hypotheses manipulation library
    keyword:proof environment manipulation keyword:forward reasoning keyword:hypothesis naming category:Miscellaneous/Coq Extensions logpath:LibHyps date:2024-12-19
    Pierre Courtieu
    3.0.1
    MIT
    Used by 1 other packages
    19 Dec 2024