↓ Skip to main content

Deduction, computation, experiment

Overview of attention for book
Attention for Chapter 8: Proofs as Efficient Programs
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
7 Mendeley