xfarrow
/
dircomp
mirror of https://github.com/xfarrow/dircomp.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Updated Mathematical correctness of dircomp (markdown)

xfarrow 2023-05-20 10:34:11 +00:00
parent 153852a9a0
commit caa6dfdabc
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
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