remove stale file; rename proof outline

project-everest · Dec 4, 2023 · 908a9b7 · 908a9b7
1 parent aacc7ed
commit 908a9b7
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 315 deletions.
diff --git a/notes/InvSketch.fst b/notes/InvSketch.fst
diff --git a/notes/RiSE-April-6-2022.md → notes/ProofOutline.md b/notes/RiSE-April-6-2022.md → notes/ProofOutline.md