Add instructions on using files generated by the Lean backend#67

Merged

sonmarcho merged 2 commits intoAeneasVerif:mainfrom zhassan-aws:lean-steps

Feb 1, 2024

+11-1

Commits on Jan 30, 2024

Add instructions on using files generated by the Lean backend
zhassan-aws
committed

Commits on Jan 31, 2024

Make a minor modification to the README
sonmarcho
committed