Automated formal mathematics

Podcasts have not talked about Automated formal mathematics enough lately to chart a trend. It shows here once the shows PodLume Trends follows mention it more often.