aboutlogic
Avsnitt

aboutlogic: premises #04 | The Harry Potter Approach to Proof Assistants – Lean, Agda & AI

aboutlogic
Dela

Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic

How do interactive theorem provers like Lean and Agda change the way we teach and do mathematics? In this aboutlogic: premises episode, Deniz and Thorsten discuss the role of proof assistants in education, the differences between Lean and Agda, and how AI is transforming formal verification.

Rss Apple Podcaster
Podden och tillhörande omslagsbild på den här sidan tillhör Deniz Sarikaya, Thorsten Altenkirch. Innehållet i podden är skapat av Deniz Sarikaya, Thorsten Altenkirch och inte av, eller tillsammans med, Poddtoppen.