Letlama

Applied Risk Research

queries@letlama.com

Publications

At Letlama, we are building a financial future rooted in trust, transparency, and precision. Our flagship service: Tamarin-Trade allows you to automate financial contract audits, guarantee contract-logic soundness, and simulate contract evolution. The name Letlama comes from the Sesotho word "binder", symbolising how we connect complex financial contracts into understandable, verifiable code. Tamarin-Trade is built off the back of open standards like ACTUS and is inspired by Tamarin Prover.

Coming soon