uwplse / potpieLinks

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

Alternatives and similar repositories for potpie

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

Sorting: