#

typednotes

Here are 3 public repositories matching this topic...

typednotes / liaison

Delegation broker in Lean 4: HMAC-chained warrants with attenuating caveats, ledger-backed credit holds, one confined egress call per request, and a complete audit log.

Updated Oct 2, 2026
Lean

typednotes / ledger

Usage & credit ledger service in Lean 4: exact integer money, a proven balance fold, a typed hold lifecycle, and Postgres-enforced reserves and idempotent grants.

dependent-types postgresql concurrency theorem-proving ledger lean billing formal-verification credits metering idempotency append-only correct-by-construction lean4 linen usage-based-billing double-spend-prevention usage-ledger typednotes

Updated Oct 2, 2026
Lean

typednotes / lun

A runner of code with tranquility

docker dependent-types functional-programming reactive-programming faas dataflow lean dag code-execution http-api incremental-computation lean4 linen typednotes

Updated Oct 5, 2026
Lean

Add this topic to your repo

To associate your repository with the typednotes topic, visit your repo's landing page and select "manage topics."