First pass at the Lean soundness lemma#143

Merged

khieta merged 8 commits intomainfrom khieta/add-soundness-lemma

Nov 3, 2023

+389-4

Commits on Oct 31, 2023

first pass at soundness lemma
khieta
committed

Commits on Nov 1, 2023