fix:typo in readme

seahorn · May 30, 2024 · f561a74 · f561a74
1 parent 4867ac3
commit f561a74
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -15,7 +15,7 @@ seahorn for LLVM-11: https://github.com/seahorn/seahorn/tree/dev11
 
 # Results
 Detailed analysis of run-times is available in an accompanying [Jupyter
-Notebook][data] in Google Collab. Coverage reports from fuzzing are available
+Notebook][data] in Google Colab. Coverage reports from fuzzing are available
 [here][fuzz].
 
 [data]: https://colab.research.google.com/github/seahorn/verify-c-common/blob/master/experiment_results.ipynb