Theorie Kolloquium | October 30, 16:30

The Science and Sociology of Mechanizing Mathematics