#ProgressReport January 2024 on the development of the #opensource eLyKseeR cryptographic #DataArchive

* more documentation added in https://github.com/eLyKseeR/elykseer-ml/blob/main/doc/00_Content.md
* [C++ implementation](https://github.com/eLyKseeR/elykseer-cpp) now follows the formal specification in Coq