This repository has been archived by the owner on Sep 27, 2023. It is now read-only.

Update Lesson 1 to CVL2 and config files#33

Open

shoham-certora wants to merge 5 commits intomasterfrom shoham/initial-streamline

+265-180