1 search result for "tag:"category:Miscellaneous/Coq Tactics Library""

Showing 1 - 1
  1. coq-libhyps

    No documentation

    Hypotheses manipulation library
    keyword:proof environment manipulation keyword:forward reasoning keyword:hypothesis naming category:Miscellaneous/Coq Tactics Library logpath:LibHyps date:2025-10-6
    Pierre Courtieu
    3.0.2
    MIT
    Used by 1 other packages
    14 Oct 2025