
Cardano Plutus Smart Contracts Official News & Inf
@CardanoPlutus
Followers
205
Following
1
Media
0
Statuses
9
Official account for smart contract engineering at IOHK. Join the Plutus Working Group and Discord server here: https://t.co/kFCTWer11h
Joined October 2024
RT @IntersectMBO: The Intersect weekly development update is out! This week, we cover:. 🍴Plomin Hardfork Achieved!.⚖️Constitution Vote.🌴Com….
0
9
0
Exciting updates from the IO team! 🚀 A great step forward for the #Cardano ecosystem.
For the last few months, we've been working on an automated formal verification tool for Cardano smart contracts. It uses Lean4 as an intermediate language and Z3 to automatically prove specifications. Here’s a sneak peek at how it works: 🧵 (1/11).
0
0
4