From bfa232714193d77cdc9a9e0d3c7b76e94a0cc0cb Mon Sep 17 00:00:00 2001 From: xfarrow Date: Sat, 29 Apr 2023 13:46:23 +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 ed97b97..9b5cd8c 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` - `1.0.4` +References dircomp `1.0.3` to `1.0.5` **Warning** This proof does not invalidate the "AS IS" nature of this program, without any warranty whatsoever. ## Definitions