2:35:19 [Tutorial Fest @ POPL'23] QuickChick: Combining Random Testing and Verification in Coq ACM SIGPLAN
3:07:10 [Tutorial Fest @ POPL'23] Using a Proof Assistant to Teach PL Theory, Without the Overhead ACM SIGPLAN
3:35:28 [TutorialFest'23] Using a Proof Assistant to Teach PL Theory, Without the Overhead ACM SIGPLAN
