Skip to content

@ModelTheory Model Theory

All

    Repositories list

    3 repositories

    • math6000-spring2018

      Public
      Model Theory course at CU, Spring 2018
      HTML
      •0•0•0•0•Updated Jun 21, 2021Jun 21, 2021

    • agda-structures

      Public
      Formalizing the mathematics of relational, algebraic, and general structures in type theory and Agda
      Agda
      •
      Creative Commons Attribution Share Alike 4.0 International
      •1•0•0•0•Updated Jun 1, 2021Jun 1, 2021

    • agda-model-theory

      Public
      A formalization of equational theories and models in dependent type theory with Agda
      Creative Commons Attribution Share Alike 4.0 International
      •0•1•0•0•Updated May 20, 2021May 20, 2021
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.