2,148 followers UCL Discovery @ucl_discovery Open Access UCL Research: Moessner's theorem: An exercise in coinductive reasoning in COQ https://t.co/Bvd8UQ88CJ 23 Aug 2016 Reply Repost Favourite