# aleph-n

> Enterprise procurement on a formally-verified coordination protocol.
> A project of 7R+ GmbH.

aleph-n is a procurement platform with the ERP inside it rather than beside it,
settling on a coordination protocol whose guarantees are proven rather than
asserted.

## What exists so far

- *A distributed ledger protocol for supply chain coordination* — Master
  Thesis, Trinity Business School, Trinity College Dublin, 2023. A critical
  review of blockchain in supply chain management, then a simplified DLT
  protocol for cross-organisational coordination, developed under a
  Popper-style falsification structure with a Rust prototype and Isabelle/HOL
  formal validation. Public abstract:
  https://7rplus.com/whitepapers/aleph-n-dlt-protocol/
- *Business model for a dynamic procurement system as platform-as-a-service* —
  Bachelor Thesis, accadis Hochschule Bad Homburg, 2021. The business-model
  architecture for delivering dynamic procurement as a service. Public
  abstract: https://7rplus.com/whitepapers/aleph-n-business-model/

Full texts are under NDA; the public abstracts are linked above.

## Facts

- Status: research; no released product
- Publisher: 7R+ GmbH, Hauptstraße 13, 63150 Heusenstamm, Germany
- Contact: contact@aleph-n.com
- Related: https://7rplus.com/ (umbrella), xaitalk, agentiqrm, pagescan