1 followers Marco Maggesi @marcomaggesi My paper about metric spaces in HOL now published! https://t.co/NU1KniJvbu 04 Apr 2017 Reply Repost Favourite