Delete out of date tutorial/kvservice/bank_proof.v; there's a new one

already in `program_proof/bank/bank_proof.v`.
mit-pdos · Nov 22, 2024 · 26a46aa · 26a46aa
1 parent fbb36a6
commit 26a46aa
Showing 1 changed file with 0 additions and 306 deletions.
diff --git a/src/program_proof/tutorial/kvservice/bank_proof.v b/src/program_proof/tutorial/kvservice/bank_proof.v