Provides a much needed update on new developments on proof in the digital era

Brings new ideas on teaching proof and proving in mathematics education

Emphasizes interdisciplinary approaches on education, philosophy and technology