Brendan Zabarauskas@brendanzabProgram Verification with F*: http://prosecco.gforge.inria.fr/personal/hritcu/teaching/mpri-jan2017/…12:18 AM · Dec 18, 2018·Twitter Web Client
