Rare find

learn-tt. A collection of resources for learning type theory and type theory adjacent fields.

github.com/jozefg/learn-tt

Problem

Audience

Updates

No founder updates yet. Check back soon.