Update README.md

synercys · Mar 15, 2022 · 99aee62 · 99aee62
1 parent 6f8ac1b
commit 99aee62
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -8,9 +8,6 @@ The repository is the artifact for the paper "Verified Programs Can Party: Optim
 * Step2: Follow the instructions in the directory `experiment_docs/instructions/` to run experiments E1 to E5.
 * Step3: Check the results with the expected results in the directory `experiment_docs/expected_result`.
 
-# Paper
-* (TODO): Link
-
 # Demo Video
 https://user-images.githubusercontent.com/20109646/150867835-eaa54bc6-4566-47dc-b523-4e44ba550492.mp4