learn-tt

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

Search similar apps

    License

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

    Creator

    jozefg

    Related apps