1 search result for "tag:"date:2026-04-13""

Showing 1 - 1

rocq-libhyps

No documentation

Hypotheses manipulation library

keyword:proof environment manipulation keyword:forward reasoning keyword:hypothesis naming category:Miscellaneous/Coq Extensions logpath:LibHyps date:2026-04-13

Pierre Courtieu

5.0

MIT

Used by 0 other packages

17 Apr 2026