Skip to content

@ModelTheory Model Theory

Change the repository type filter

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