243 followers Verification papers @verif_papers Inductive Beluga: Programming Proofs. - Brigitte Pientka, Andrew Cave http://t.co/Z0YxUwAIvb 01 Aug 2015 Reply Repost Favourite