Skip to main content

First Metalift Release: v0.1.0

· One min read
Alvin Cheung
Sahil Bhatia
Shadaj Laddad

We're excited to share the initial open-source release of Metalift, a Python framework for applying verified lifting and program synthesis techniques!