Tools mentioned by Justin Solomon
Software and services Justin Solomon has mentioned across podcast appearances.
SignalCast may earn a small commission on purchases through these links — at no extra cost to you.
Lean
Recommended“The productive workflow pairs a large language model with Lean, a formal programming language that independently verifies each logical step against built-in axioms.”
Mentioned on: Odd Lots · How AI Is Upending the World of Mathematics