3,309 followers Ryoma Sin'ya @sinya8282 From Syntactic Proofs to Combinatorial Proofs https://t.co/GfMe3DmK1z 17 May 2019 Reply Repost Favourite