coq-record-update icon indicating copy to clipboard operation
coq-record-update copied to clipboard

Published 20 hours ago • verified publisher icon tchajed
→

Metadata

Library to create Coq record update functions

Results 11 coq-record-update issues
Sort by recently updated
recently updated
newest added

Fix CI failures do to change in reference output

Coq master has slightly tweaked line breaking, which is causing CI to fail. I think we'll just need to have multiple reference outputs and choose the right one based on...

tchajed avatar tchajed

← Metadata

40
Stars
14
Forks
Watchers

Owner

verified publisher icon tchajed

Metadata

Library to create Coq record update functions

Back