↓ Skip to main content

Interactive Theorem Proving and Program Development

Overview of attention for book
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
10 X users
wikipedia
2 Wikipedia pages

Citations

dimensions_citation
1075 Dimensions

Readers on

mendeley
70 Mendeley