IC3 acknowledges and appreciates a generous gift from the VMware
Foundation to advance the science and technology of blockchains.
We acknowledge RetroPGF2 for support of IC3 from the Optimism Foundation.
For more information, please contact: sarahallen@cornell.edu.