A Formalization of Metric Spaces in HOL Light

Overview of attention for article published in Journal of Automated Reasoning, March 2017

Altmetric Badge

Mentioned by

twitter: 1 X user

Citations

dimensions_citation: 4 Dimensions

Readers on

mendeley: 5 Mendeley

Summary X Dimensions citations

So far, Altmetric has seen 1 X post from an account with 1 followers.

My paper about metric spaces in HOL now published! https://t.co/NU1KniJvbu

Reply Repost Favourite