3,532 followers José A. Alonso @Jose_A_Alonso Theorem of three circles in Coq. ~ Julianna Zsidó http://t.co/qg9jbwyvgF #ITP #Coq 08 Jun 2013 Reply Repost Favourite