Type Theory Forall

#15 Coq Projects, Agda, Idris, Kind - Nitin and Eric


Listen Later

In this episode me, Eric and Nitin continues our conversation started in the

last episode. This time we move our attention to the cool projects happening
in Coq, in particular commenting through the projects mentioned in Andrew
Appel’s keynote “Coq’s Vibrant Ecosystem for verification engineering” that
took place in CPP’22 which is colocated with POPL and towards the end we also
talk about agda, idris and Kind.

Links
  • Nitin Twitter @NitinJohnRaj2
  • Eric Twitter @EricBond10
  • Appel's CPP Talk
  • Proof Assistants Stack Exchange
  • Coq Community
  • Leo de Moura Interview
  • ...more
    View all episodesView all episodes
    Download on the App Store

    Type Theory ForallBy Pedro Abreu

    • 5
    • 5
    • 5
    • 5
    • 5

    5

    10 ratings


    More shows like Type Theory Forall

    View all
    In Our Time by BBC Radio 4

    In Our Time

    5,389 Listeners

    The Changelog: Software Development, Open Source by Changelog Media

    The Changelog: Software Development, Open Source

    284 Listeners

    Philosophize This! by Stephen West

    Philosophize This!

    15,093 Listeners

    The Quanta Podcast by Quanta Magazine

    The Quanta Podcast

    500 Listeners

    CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

    CoRecursive: Coding Stories

    189 Listeners

    Iowa Type Theory Commute by Aaron Stump

    Iowa Type Theory Commute

    17 Listeners

    The Real Python Podcast by Real Python

    The Real Python Podcast

    139 Listeners

    Theories of Everything with Curt Jaimungal by Theories of Everything

    Theories of Everything with Curt Jaimungal

    470 Listeners

    The Rest Is History by Goalhanger

    The Rest Is History

    13,053 Listeners

    The Haskell Interlude by Haskell Podcast

    The Haskell Interlude

    13 Listeners

    The Joy of Why by Steven Strogatz, Janna Levin and Quanta Magazine

    The Joy of Why

    502 Listeners

    The Rest Is Politics by Goalhanger

    The Rest Is Politics

    3,286 Listeners

    Oxide and Friends by Oxide Computer Company

    Oxide and Friends

    47 Listeners

    The Rest Is Politics: Leading by Goalhanger

    The Rest Is Politics: Leading

    989 Listeners

    Latent Space: The AI Engineer Podcast by swyx + Alessio

    Latent Space: The AI Engineer Podcast

    75 Listeners