LibHyps icon indicating copy to clipboard operation
LibHyps copied to clipboard

Published 20 hours ago • verified publisher icon Matafou
→

Metadata

A Coq library providing tactics to deal with hypothesis

Results 0 LibHyps issues
Sort by recently updated
recently updated
newest added

← Metadata

19
Stars
3
Forks
Watchers

Owner

verified publisher icon Matafou

Metadata

A Coq library providing tactics to deal with hypothesis

Back