A self-derivational mathematical framework built around the operation □, ordinal
Open the family explorer →The explorer centres this repository in the family interaction graph and carries the combined API reference for every package in the family, searchable in one place.
This repository
32 public symbols
8 modules
4 layer specifications
4 outgoing edges
8 incoming edges
Layer specifications
Manuscript
None.
Documents
- AGENTS.md
- CHANGELOG.md
- CONTRIBUTING.md
- GOVERNANCE.md
- RELEASING.md
- SECURITY.md
- docs/research/COMPOSED_GROUND_DERIVATIONS.md
- docs/research/CONTEXTUAL_COMPOSITION.md
- docs/research/CYCLE_BOUNDARY.md
- docs/research/CYCLE_WITNESSES.md
- docs/research/FINITE_ARITHMETIC.md
- docs/research/FINITE_TRACES.md
- docs/research/FRACTAL_COMPLETENESS.md
- docs/research/GROUND_SYNTAX.md
- docs/research/HYPERKERNEL_SELF_DERIVATION.md
- docs/research/HYPERSET_THEORY_ORDINATICS.md
- docs/research/LAYER_GRAPH.md
- docs/research/LAYER_PRESERVATION.md
- docs/research/NATIVE_ACCEPTANCE.md
- docs/research/NATIVE_TRANSPORT_OBLIGATION.md
- docs/research/OPERATIONAL_CORRESPONDENCE.md
- docs/research/PATH_LAYERS.md
- docs/research/PATH_TRANSPORT.md
- docs/research/PROOF_AUDIT.md
- docs/research/QUADRILATERAL_FILTRATION.md
- docs/research/RECORD_ENCODING.md
- docs/research/RECORD_MACHINE.md
- docs/research/RETAINED_EXECUTION.md
- docs/research/RULE_SUBSTITUTION.md
- docs/research/SEQUENCING_LAWS.md
- docs/research/SOURCE_MAP.md
- docs/research/TERMINAL_RETENTION.md
- docs/research/UNARY_FORMATION.md
- docs/terms/FRAME.md
- docs/terms/Form.md
- docs/terms/Prop.md
- docs/terms/__template__.md
- docs/terms/apply.md
- docs/terms/congruent.md
- docs/terms/definition.md