• Stars
    star
    6
  • Rank 2,539,573 (Top 51 %)
  • Language
  • Created over 10 years ago
  • Updated over 10 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Voevodsky's notes on type systems. This version contains more material than the one on his website.