Enter the RSS feed of any podcast:
Showing stats for

Big proof

Rest in PodDoes not stopFifty Strong50
70episodes
1h 02avg. duration
0.7episodes per month
899.3 MBavg. size
Show 3D

Calendar

20250
MTWTFSS
20240
MTWTFSS
20230
MTWTFSS
20220
MTWTFSS
20210
MTWTFSS
20200
MTWTFSS
20190
MTWTFSS
20180
MTWTFSS
20179
MTWTFSS

Day of the week

Mon6 episodesTue3 episodesWed30 episodesThu5 episodesFri26 episodesSat0 episodesSun0 episodes

Month

Jan0 episodesFeb0 episodesMar0 episodesApr0 episodesMay0 episodesJun0 episodesJul53 episodesAug17 episodesSep0 episodesOct0 episodesNov0 episodesDec0 episodes

Seasons

Not available

Title word cloud

agdaalgebraalgorithmsanalysisautomatedautomationbeyondcomputercoqcubicaldirectionseducationformalfutureholhomotopyhotthumaninteractiveintroductionisabellejointkapulkinleanlearninglibrarylogicmachinemathmathcompmathematicalmathematicsoverviewpanelproblemproofsproverprovingreasoningresearchsemanticssimplicialtheoremtheorytutorialtypetypesunimathunivalentwork

Authors

100%Cambridge University

Types

100%Full

Explicit

100%Clean

Audio size

71.4%100 MB28.6%1000 MB

Audio quality

100%340 Kbps

Audio type

100%VIDEO/MP4

Hosting

100%downloads.sms.cam.ac.uk

Prefixes

Not available

Podcasting 2.0 features

alternateEnclosureblockchapterscontentLinkepisodefollowfundingguidimagesintegritylicenseliveItemlocationlockedmediumpersonpodpingpodrollremoteItemseasonsocialInteractsoundbitesourcetrailertranscripttxtupdateFrequencyvaluevalueRecipientvalueTimeSplit