From caa6dfdabc09d8fd4c22e8adcc2f30db65430289 Mon Sep 17 00:00:00 2001 From: xfarrow Date: Sat, 20 May 2023 10:34:11 +0000 Subject: [PATCH] Updated Mathematical correctness of dircomp (markdown) --- Mathematical-correctness-of-dircomp.md | 1 - 1 file changed, 1 deletion(-) diff --git a/Mathematical-correctness-of-dircomp.md b/Mathematical-correctness-of-dircomp.md index 9fe7af3..c187cc2 100644 --- a/Mathematical-correctness-of-dircomp.md +++ b/Mathematical-correctness-of-dircomp.md @@ -1,5 +1,4 @@ Mathematical correctness of dircomp. -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