Terence Tao by Ciro Santilli 36 Updated +Created
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!