More accurate title would be "Terry Tao Became an Evangelist for Lean"

		nylonstrung 2 days ago \| parent \| context \| favorite \| on: Terry Tao Became an Evangelist for AI in Math More accurate title would be "Terry Tao Became an Evangelist for Lean"
		help