LibHyps

github.comtool

Library of Ltac tactics to manage and manipulate hypotheses in proofs.

from

Coq

added

2026-10-10

likes

0

Coq › Projects > Libraries: “Library of Ltac tactics to manage and manipulate hypotheses in proofs.”