SSReflect talk at London Type-Driven Development meetup Slides: https://anton-trunov.github.io/ssreflect-london-tydd-meetup/SLIDES.html proofs.v, rendered proofs.v Homework: homework.v reflect.v, rendered reflect.v