![Type Theory Forall artwork](https://is5-ssl.mzstatic.com/image/thumb/Podcasts124/v4/ed/de/43/edde43db-febe-b892-3a30-358ebe2e2c07/mza_16532267942080647912.png/100x100bb.jpg)
#19 Experience Report: Learning Coq - Patrick and Supun
Type Theory Forall
English - June 04, 2022 15:40 - 1 hour - 100 MB - ★★★★★ - 6 ratingsTechnology Science type theory programming languages academia Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: #18 Gödel's Incompleteness Theorems - Cody Roux
In today’s episode I invite two friends of mine Patrick Lafontaine and Supun
Abeysinghe. We will talk about their experience learning Coq and we guide
ourselves in a survey that I gave all the 83 students in the class.
The class was thought by my advisor Benjamin Delaware and I was his TA.
Patrick researches compilers and have done work in particular with Rust. And
Supun works more along the lines of machine learning in the context of
systems.