© 2022 ChainFeeds
DaiLambda - Provide formal verification to critical systems, cryptocurrencies, etc.

DaiLambda

Provide formal verification to critical systems, cryptocurrencies, etc.

Startups Labs Tezos
Web
www.dailambda.jp
Twitter
twitter.com/dailambda
LinkedIn
www.linkedin.com/company/dailambda/

DaiLambda, just founded a new R&D and consultant company to provide formal verification to critical systems, cryptocurrencies, etc.

People

Jun Furuse

See Also

Tezos.Rio Tezos.Rio TezTech Labs TezTech Labs camlCase camlCase Stove Labs Stove Labs TQ Tezos TQ Tezos Nomadic Labs Nomadic Labs OCaml Pro OCaml Pro Hover Labs Hover Labs Bender Labs Bender Labs Jun Furuse Jun Furuse