The cool thing about Terrence Tao is that besides being a mathematical genius, he is also interested in modern technology such as formal proof systems and automated theorem proving. For that, kudos.
New to topics? Read the docs here!
New to topics? Read the docs here!