jozefg/learn-tt

Issues

• Per Martin-Löf: Transcriptions

  #14 opened 2 years ago by edrx
  1

• Tom Leinster's book "Basic Category Theory"

  #12 opened 4 years ago by eternaleye
  0

• Lean Prover

  #10 opened 5 years ago by arademaker
  1

• Broken link to your tutorial

  #11 opened 5 years ago by lukaszlew
  1

• Type Theory and Formal Proof: An Introduction

  #9 opened 6 years ago by QuangTung97
  0

• Linked paper about CIC is not about CIC

  #8 opened 6 years ago by fferreira
  0

• Bartosz Milewski book : "Category Theory for programmers"

  #7 opened 7 years ago by francoisthire
  0

• add 'Type-Driven Development with Idris' to bibliography

  #6 opened 7 years ago by gdmcbain
  1

• Vendor papers/online books

  #1 opened 9 years ago by jozefg
  0