GitHub topics: unification-theory
engboris/stellogen
An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
Language: OCaml - Size: 2.13 MB - Last synced at: about 13 hours ago - Pushed at: about 14 hours ago - Stars: 107 - Forks: 10
grauvision/dut
Discrete Unification Theory
Size: 93.3 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0
Related Keywords
unification-theory
2
unified-model
1
tud
1
teoria-de-la-unificacion-discreta
1
relativity
1
quantum-mechanics
1
non-commutative
1
gravity-model
1
general-relativity
1
dut
1
discrete-unification-theory
1
discrete-theory
1
cosmology
1
verification
1
type-theory
1
transcendental-syntax
1
proof-assistant
1
optional-typing
1
logic-programming
1
logic
1
formal-specification
1
formal-methods
1