The Second Machine Turn: From Checking Proofs to Creating Concepts

Open in new window