Thesis/semantic equivalence step index

jaccokrijnen / plutus-cert

0 stars 2 forks source link

Closed jorisdral closed 2 years ago

jorisdral commented 2 years ago

Work in progress, I have to clean up a little

EDIT: Seems I never got around to merging most of my progress. So, I will merge it one go soon.