An Elixir payment authorization hold ledger with a pure state machine, an independent executable specification, journaled OTP recovery, and formal verification using Lynx and Lean.
Lean Updated 17 days ago 1 commits
prism-dev|Mirror: nshkrdotcom/hold_ledger (⭐0)
17 days agoAbout
An Elixir payment authorization hold ledger with a pure state machine, an independent executable specification, journaled OTP recovery, and formal verification using Lynx and Lean.
Readme