5:23Do You REALLY Need Math to Be a Programmer? (The Truth Nobody Tells You)Escoding192 viewsView & Download
6:34When Computers Write Proofs, What's the Point of Mathematicians?Quanta Magazine470.2K viewsView & Download
6:28You are better at Math than you think (as a Programmer)Dr. Pavel Vlašánek26.2K viewsView & Download
47:15Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AIAaron Gray454 viewsView & Download
