Skip to content

@type-theory Type Theory

Change the repository type filter

All

    Repositories list

    2 repositories

    • type-theory-study-group

      Public
      Resources for the online Type Theory Study Group
      18•162•0•0•Updated Feb 2, 2018Feb 2, 2018

    • learn-tt

      Public
      A collection of resources for learning type theory.
      135•99•0•1•Updated Jun 6, 2016Jun 6, 2016
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.