#107 - Justin Skycak: Proof Writing, Discovering Math, Expert Systems, Learning Math Like A Language | Scraping Bits | Podwise