Topic: "model-theory"
ualib/agda-algebras
The Agda Universal Algebra Library (html docs available at the url below)
Language: Agda - Size: 65 MB - Last synced at: 11 days ago - Pushed at: 5 months ago - Stars: 33 - Forks: 7
domenicozambella/creche
A Crèche Course in Model Theory. Lecture notes for an introductory (under)graduate couse in model theory
Language: TeX - Size: 82 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 8 - Forks: 1
vaibhavkarve/igl2020
Lean project for Fall 2020
Language: Lean - Size: 1.34 MB - Last synced at: 8 months ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 2
williamdemeo/agda-algebras Fork of ualib/agda-algebras
The Agda Universal Algebra Library (html docs available at the url below)
Language: Agda - Size: 54.5 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 1
metinersin/FormalTextbookModelTheory
Language: HTML - Size: 869 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0
austinlorenz/finite_model_theory
A Maxima CAS package for finite model theory
Size: 22.5 KB - Last synced at: 11 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 1
gonzigaran/agda-clones
Formalizing the clone theory in type theory and Agda
Language: HTML - Size: 1.43 MB - Last synced at: 20 days ago - Pushed at: 21 days ago - Stars: 0 - Forks: 0
HarrisonTotty/model
A rust library for model theory.
Size: 13.7 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
