Obrigado à equipe da Lido por confiar em nós para revisar seu código de Dual Governance 🩵

Foi um prazer trabalhar com eles durante grande parte deste ano e do ano passado, verificando formalmente seu código com Kontrol e outras técnicas manuais.

Publicaremos mais informações sobre nosso trabalho nas próximas semanas no nosso Twitter!