903 followers Romain Ruetschi @_romac Certified Exact Transcendental Real Number Computation in Coq https://t.co/zUoAybqEie (pdf) 14 Feb 2019 Reply Repost Favourite