Sean Welleck's Home Page

Home | Podcast

The Thesis Review Podcast | Episode 20

Exploring and Combining Deductive and Inductive Reasoning in Large Libraries of Formalized Mathematics

Subscribe: [apple podcasts] [spotify] [soundcloud] [patreon]

The Thesis Review ยท [20] Josef Urban - Deductive and Inductive Reasoning in Large Libraries of Formalized Mathematics