Snowflake: Supporting Programming and Proofs. - Oluwatobi Alabi; Anh Vu; Peter-Michael Osera (SIGCSE (2), 2023)