The single source of truth for the protocol, architecture, implementation details, code structure, and design decisions is doltswarm-protocol.md. Read it before making any changes.
The Quint formal specifications live in specs/.
The single source of truth for the protocol, architecture, implementation details, code structure, and design decisions is doltswarm-protocol.md. Read it before making any changes.
The Quint formal specifications live in specs/.