Merci à l'équipe de Lido de nous avoir fait confiance pour examiner leur code de Dual Governance 🩵

Ce fut un plaisir de travailler avec eux pendant une grande partie de cette année et de l'année dernière, en vérifiant formellement leur code avec Kontrol et d'autres techniques manuelles.

Nous publierons plus d'informations sur notre travail dans les prochaines semaines sur notre Twitter !