↓ Skip to main content

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar

Overview of attention for article published in Journal of Automated Reasoning, November 2017
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
158 Dimensions

Readers on

mendeley
29 Mendeley