1,123 followers ざぎん 𒎎𒍝𒆳 @na4zagin3 なんだと…… Forcing and Type Theory http://t.co/oOTOgZQCDw 08 Oct 2013 Reply Repost Favourite