coq-tricks icon indicating copy to clipboard operation
coq-tricks copied to clipboard

Published 20 hours ago • verified publisher icon tchajed

add trick: specialize a hypothesis using `pose`

Open nandedamana opened this issue 5 months ago • 0 comments

nandedamana avatar May 28 '25 07:05 nandedamana