uwplse / potpieLinks

Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
16Updated 9 months ago

Alternatives and similar repositories for potpie

Users that are interested in potpie are comparing it to the libraries listed below

Sorting: