GeezerVison — Model Theory

Home|About|Gaming cabinet|Archives|How it works|Starter sites

GeezerVison is showing github.com — Model Theory

Popular repositories Loading

agda-model-theory agda-model-theory Public

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

1
math6000-spring2018 math6000-spring2018 Public

Model Theory course at CU, Spring 2018

HTML
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

Loading

Type

All Public Sources Forks Archived Mirrors Templates

Language

All Agda HTML

Sort

Last updated Name Stars

Showing 3 of 3 repositories

math6000-spring2018 Public
Model Theory course at CU, Spring 2018

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

ModelTheory/agda-model-theory's past year of commit activity

1 CC-BY-SA-4.0 0 0 0 Updated May 20, 2021

People

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.