1 search result for "tag:"date:2025-10-6""

Showing 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