Title: Is Math Real?: How Simple Questions Lead Us to Mathematics' Deepest Truths, Author: Eugenia Cheng
Title: Cooperation in Heterogeneous Theorem Prover Networks / Edition 1, Author: Dirk Fuchs