DaiLambda ^None

DaiLambda is a company that specializes in securing social infrastructure systems, specifically cryptocurrencies, through the use of formal verification technology including type system, static analysis, model checking, and theorem proving.