Pact 2.4 Is Out!
After a lot of hard work we’re releasing the biggest pact upgrade since last year. Pact 2.4 brings some very significant changes to further establish Pact as the premier smart contracts language for blockchain: formal verification that can be used by the average developer, right in their smart…