model-theory
There are 10 repositories under model-theory topic.
ualib/agda-algebras
The Agda Universal Algebra Library (html docs available at the url below)
domenicozambella/creche
A Crèche Course in Model Theory. Lecture notes for an introductory (under)graduate couse in model theory
vaibhavkarve/igl2020
Lean project for Fall 2020
austinlorenz/finite_model_theory
A Maxima CAS package for finite model theory
praisetompane/mathematics
An attempt at unpacking in layman's terms what mathematics is and how it is created.
williamdemeo/agda-algebras
The Agda Universal Algebra Library (html docs available at the url below)
gonzigaran/agda-clones
Formalizing the clone theory in type theory and Agda
jklemke/js-sig-reg
A JavaScript library for experimenting with concepts from first order logic, description logic, model theory, type theory, set theory, RDF, OWL, SKOS, etc. Aspires to be "standard" open source javascript by using npm, jest, standardjs, EcmaScript modules accessible from both HTML and server-side nodejs.
HarrisonTotty/model
A rust library for model theory.