Skip to content
@ModelTheory

Model Theory

A collection of repositories about or related to model theory

Popular repositories Loading

  1. agda-model-theory agda-model-theory Public

    A formalization of equational theories and models in dependent type theory with Agda

    1

  2. math6000-spring2018 math6000-spring2018 Public

    Model Theory course at CU, Spring 2018

    HTML

  3. agda-structures agda-structures Public

    Forked from ualib/agda-structures

    Formalizing the mathematics of relational, algebraic, and general structures in type theory and Agda

    Agda

Repositories

Showing 3 of 3 repositories
  • math6000-spring2018 Public

    Model Theory course at CU, Spring 2018

    ModelTheory/math6000-spring2018’s past year of commit activity
    HTML 0 0 0 0 Updated Jun 21, 2021
  • agda-structures Public Forked from ualib/agda-structures

    Formalizing the mathematics of relational, algebraic, and general structures in type theory and Agda

    ModelTheory/agda-structures’s past year of commit activity
    Agda 0 CC-BY-SA-4.0 1 0 0 Updated Jun 1, 2021
  • agda-model-theory Public

    A formalization of equational theories and models in dependent type theory with Agda

    ModelTheory/agda-model-theory’s past year of commit activity
    1 CC-BY-SA-4.0 0 0 0 Updated May 20, 2021

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…