با برنامه Player FM !
#15 Coq Projects, Agda, Idris, Kind - Nitin and Eric
Manage episode 420953631 series 2951423
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
82 قسمت
Manage episode 420953631 series 2951423
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
82 قسمت
همه قسمت ها
×به Player FM خوش آمدید!
Player FM در سراسر وب را برای یافتن پادکست های با کیفیت اسکن می کند تا همین الان لذت ببرید. این بهترین برنامه ی پادکست است که در اندروید، آیفون و وب کار می کند. ثبت نام کنید تا اشتراک های شما در بین دستگاه های مختلف همگام سازی شود.