Updated Mathematical correctness of dircomp (markdown)

xfarrow 2023-04-29 13:46:23 +00:00
parent d721c80b91
commit bfa2327141

@ -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