systemet is a stratified type theory. The name is system + ET, where ET stands for Equality Theory — because the one primitive relation the whole system keeps at the bottom is equality, and everything else is layered above it as discipline rather than added as new relations.
programming-language open-source specification language-design invariants research-software anytype hyperpolymath affinescript epistemic-infrastructure epistemic-computing proof-obligations equality-theory semantic-authority veridical-computing equivalence-aware-computing typed-provenance stratified-type-theory
-
Updated
Sep 25, 2026 - Shell