Coq-Equations icon indicating copy to clipboard operation
Coq-Equations copied to clipboard

Published 20 hours ago • verified publisher icon mattam82

Test equations playground

Open ppedrot opened this issue 3 years ago • 1 comments

cc @mattam82 @SkySkimmer

ppedrot avatar Mar 29 '22 14:03 ppedrot

This PR fails in test-suite/issues/issue7.v on Derive Signature NoConfusionHom for Tuple. with an error that shouldn't happen.

ppedrot avatar Mar 29 '22 14:03 ppedrot