Search a title or topic

Over 20 million podcasts, powered by 

Player FM logo
Artwork

Content provided by Pedro Abreu. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Pedro Abreu or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Player FM - Podcast App
Go offline with the Player FM app!

#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro

2:13:31
 
Share
 

Manage episode 448843726 series 2951423
Content provided by Pedro Abreu. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Pedro Abreu or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.

Mario Carneiro is the creator of Mathlib, Lean4Lean and Metamath0. He is currently doing his Postdoc at Chalmers University working on CakeML. In this episode we talk about foundations of theorem provers, type systems properties, semantics and interoperabilities.

If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall

Links

  continue reading

92 episodes

Artwork
iconShare
 
Manage episode 448843726 series 2951423
Content provided by Pedro Abreu. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Pedro Abreu or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.

Mario Carneiro is the creator of Mathlib, Lean4Lean and Metamath0. He is currently doing his Postdoc at Chalmers University working on CakeML. In this episode we talk about foundations of theorem provers, type systems properties, semantics and interoperabilities.

If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall

Links

  continue reading

92 episodes

All episodes

×
 
Loading …

Welcome to Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

 

Copyright 2025 | Privacy Policy | Terms of Service | | Copyright
Listen to this show while you explore
Play