Theorem of Three Circles in Coq

Overview of attention for article published in Journal of Automated Reasoning, December 2013

Altmetric Badge

Mentioned by

twitter: 1 X user

reddit: 1 Redditor

Readers on

mendeley: 4 Mendeley

Summary X Reddit

So far, Altmetric has seen 1 Reddit thread.

Theorem of three circles in Coq

User gallais, in the Coq subreddit, 07 Jun 2013