1 search result for "tag:"logpath:LibHyps""

Showing 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