William Farmer: An Alternative Approach to Formal Mathematics that Prioritizes Communication over Certification External Video-URL https://www.youtube.com/watch?v=8M6FE-fCMjI Preview-Image Search Engine Exclude no
