Explorando o uso do Idris para a verificação formal de contratos inteligentes: um guia prático com exemplos utilizando o framework Idris 2 e integração com ferramentas como Plutus e Solidity.
Capacitar desenvolvedores a usar o Idris para a verificação formal de contratos inteligentes, promovendo a segurança e robustez na implementação de soluções em blockchain.