Cast List: Functional Geekery Episode 101

Functional Geekery Episode 101 - Adam Chlipala

Functional Geekery

Episode: Functional Geekery Episode 101 - Adam Chlipala
Website: Functional Geekery
Feed URL: https://www.functionalgeekery.com/feed/mp3/
Duration: 01:05:16
Published: 2017-07-25 12:00

In this episode I talk with Adam Chlipala. We talk Coq, proof assistants, getting started, tooling, domains for advancement using proofs, Ur/Web, and much, much more.

Next Episodes

Functional Geekery Episode 100 - Mark Allen @ Functional Geekery

📆 2017-07-04 12:00 / ⌛ 00:59:19

Functional Geekery Episode 99 - Christiano Haesbaert @ Functional Geekery

📆 2017-06-27 12:00 / ⌛ 00:58:39

Functional Geekery Episode 98 - Scott Wlaschin @ Functional Geekery

📆 2017-06-13 12:00 / ⌛ 00:58:39

Functional Geekery Episode 97 - Colin Barrett @ Functional Geekery

📆 2017-06-06 12:00 / ⌛ 00:46:52

Functional Geekery Episode 96 - Erik Svedäng @ Functional Geekery

📆 2017-05-23 12:00 / ⌛ 00:52:49