Learn a Formally Verified Smart Contract Language – Pact #1 Post by mleafer » Mon, Apr 08, 2019, 6:15 PM UTC Learn a Formally Verified Smart Contract Language – Pactpactlang.org