ualib/agda-algebras

The Agda Universal Algebra Library (html docs available at the url below)

Language: Agda - Size: 65 MB - Last synced at: 2 days ago - Pushed at: 9 months ago - Stars: 36 - 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: 83.2 MB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 8 - Forks: 1

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: 10 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 1

metinersin/FormalTextbookModelTheory

Language: HTML - Size: 869 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0

gonzigaran/agda-clones

Formalizing the clone theory in type theory and Agda

Language: HTML - Size: 1.43 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

HarrisonTotty/model

A rust library for model theory.

Size: 13.7 KB - Last synced at: 9 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

vaibhavkarve/igl2020

Lean project for Fall 2020

Language: Lean - Size: 1.34 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 2

austinlorenz/finite_model_theory

A Maxima CAS package for finite model theory

Size: 22.5 KB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 1