sf-ssreflect Working through the SF using ssreflect. Links https://www.researchgate.net/publication/327835283_Lecture_material_of_SemProg_2018_FAU_our_fork_of_Software_Foundations_by_Benjamin_C_Pierce_et_al