metacoq icon indicating copy to clipboard operation
metacoq copied to clipboard

Published 20 hours ago • verified publisher icon MetaCoq

QuickChick

Open mattam82 opened this issue 5 years ago • 0 comments

Playing with QuickChick to write tests for MetaCoq's typechecker, substitution, lifting, potential translations etc... together with my guides Leonidas Lampropoulos and Benjamin C. Pierce.

mattam82 avatar Jun 14 '19 22:06 mattam82