Tools mentioned by Terence Tao
Software and services Terence Tao has mentioned across podcast appearances.
SignalCast may earn a small commission on purchases through these links — at no extra cost to you.
Lean
“Lean and similar proof assistants have automated deductive verification, but no equivalent formal language exists for mathematical strategy or plausibility assessment.”