learn-tt

learn-tt

https://github.com/jozefg/learn-tt

2166

3 months ago

Reviews

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

Search similar apps

    License

    Share

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

    Creator

    jozefg

    Related apps