Reference. Totally Live Programming and Proving in Hazel [omar-2024]