diff --git a/README.md b/README.md
index 5f22f78..45f1ba0 100644
--- a/README.md
+++ b/README.md
@@ -25,3 +25,6 @@ The options are as follows:
   -d             Comparison by digest
   -h             Print this help and quit
 ```
+
+## Correctness
+You can have a look at the code and at its [mathematical proof](https://github.com/xfarrow/dircomp/wiki/Mathematical-correctness-of-dircomp) to validate its correctness.