Coquelicot: A User-Friendly Library of Real Analysis for Coq

Overview of attention for article published in Mathematics in Computer Science, June 2014

Altmetric Badge

Mentioned by

twitter: 1 X user

Citations

dimensions_citation: 69 Dimensions

Readers on

mendeley: 16 Mendeley

Summary X Dimensions citations

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

Coqで実解析やれるライブラリを見つけた https://t.co/zdFcCb9Pss

Reply Repost Favourite

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.