agda-model-theory

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