1. 11
  1. 5

    Some recent submissions were on the topic of theorem provers. I find this book fantastically thorough, as it takes the reader from typed lambda calculus and OCaml to dependent types and Agda. It also touches on advanced topics like HoTT.

    Overall, looks like a great bootcamp to theoretical CS from the perspective of the Curry-Howard isomorphism.

    Stories with similar links:

    1. Program = Proof via solomon 1 year ago | 23 points | 5 comments