You are viewing archived messages.
Go here to search the history.

Nilesh Trivedi 2022-07-20 15:17:33

Started reading this book to learn about Dependent Type Theory which is used in proof-assistant systems like Lean/Coq.

📷 image.png

William Taysom 2022-07-20 18:03:23

And how is it?

Nilesh Trivedi 2022-07-23 05:58:30

The author gave a talk at StrangeLoop which gives a good overview of the book: youtube.com/watch?v=VxINoKFm-S4

I need something that helps me implement dependent type theory. So far, this book hasn’t covered that aspect.

🎥 "A Little Taste of Dependent Types" by David Christiansen