Topic: "unification-theory"
engboris/stellogen
An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
Language: OCaml - Size: 2.04 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 101 - Forks: 9
grauvision/DUT
Discrete Unification Theory
Size: 36.4 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 1 - Forks: 0
Related Topics
cosmology
1
discrete-theory
1
discrete-unification-theory
1
dut
1
general-relativity
1
gravity-model
1
non-commutative
1
quantum-mechanics
1
relativity
1
teoria-de-la-unificacion-discreta
1
tud
1
unified-model
1
formal-methods
1
formal-specification
1
gradual-typing
1
logic
1
logic-programming
1
proof-assistant
1
transcendental-syntax
1
type-theory
1
verification
1