From 8f1f8a5bce1f6b1191c424f0779942a74def20d1 Mon Sep 17 00:00:00 2001 From: xfarrow Date: Sun, 30 Apr 2023 12:47:44 +0000 Subject: [PATCH] Updated Mathematical correctness of dircomp (markdown) --- Mathematical-correctness-of-dircomp.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Mathematical-correctness-of-dircomp.md b/Mathematical-correctness-of-dircomp.md index 9b5cd8c..aaefb21 100644 --- a/Mathematical-correctness-of-dircomp.md +++ b/Mathematical-correctness-of-dircomp.md @@ -1,5 +1,5 @@ Mathematical correctness of dircomp. -References dircomp `1.0.3` to `1.0.5` +References dircomp `1.0.3` to `1.0.6` **Warning** This proof does not invalidate the "AS IS" nature of this program, without any warranty whatsoever. ## Definitions