244 followers Verification papers @verif_papers A Formalisation of Finite Automata Using Hereditarily Finite Sets. - Lawrence C. Paulson http://t.co/gf78qx1VLb 01 Aug 2015 Reply Repost Favourite