Nethermind Security (@nethermindsec) 's Twitter Profile
Nethermind Security

@nethermindsec

All of @NethermindEth's expertise, zeroed in on security solutions for Ethereum and Starknet builders. Get an audit now @ nethermind.io/nethermind-sec…

ID: 1833105566924976128

linkhttps://www.nethermind.io/nethermind-security calendar_today09-09-2024 11:30:19

225 Tweet

583 Takipçi

19 Takip Edilen

Nethermind Security (@nethermindsec) 's Twitter Profile Photo
Nethermind Security
@nethermindsec

4 months ago

Congrats to Nethermind’s Julian Sutherland in Cannes, who was invited to speak at FMBC25 - the talk went brilliantly! In “Bringing the Power of Interactive Theorem Proving to web3,” he discussed how Nethermind leveraged Lean’s proof assistant to build an infrastructure for scalable reasoning about

Congrats to Nethermind’s <a href="/JulekSU/">Julian Sutherland in Cannes</a>, who was invited to speak at FMBC25 - the talk went brilliantly! In “Bringing the Power of Interactive Theorem Proving to web3,” he discussed how Nethermind leveraged Lean’s proof assistant to build an infrastructure for scalable reasoning about