Loading exposition.
Lean 4 + paper
A formal treatment of karma, agency, welds, and the arrow.
Weld & Arrow develops a theory of joining, causal direction, and chosen action as a Lean 4 formalization with an accompanying Exposition.
The site is frozen to a source commit, so the snapshot below gives Claude the same repository context used for this build.
The hosted chat is offline while the full repository context is too expensive to serve. Both options below run against your own Claude account.
Frozen snapshot
Download the snapshot
- Download the text snapshot.
- Drag it into a Claude chat or add it to a Claude Project.
- Ask about the Weld & Arrow theory, paper, or Lean repository.
Live repository
Connect the repo directly
Use Claude's GitHub connector with https://github.com/weld-and-arrow/weld-and-arrow.
- Open Claude with the GitHub connector available.
- Connect the public Weld & Arrow repository.
- Ask Claude to answer from the connected repo.
Claude reads live main, so answers may drift from the frozen commit this site is grounded in.
Source repository