xfarrow/dircomp
1
0
Fork 0
mirror of https://github.com/xfarrow/dircomp.git synced 2025-06-05 21:49:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Updated Mathematical correctness of dircomp (markdown)

xfarrow
2023-04-30 12:47:44 +00:00
parent d8750332cd
commit 8f1f8a5bce
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
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