Open
Description
The current readme is lacking information. Especially regarding devcontainer, nix shell, proofs, tests, coverage.
Additionally the following parts should be added:
- Badges for pipeline state.
- Brief overview about the repo structure.
{{ message }}
No type
No projects
No milestone
None yet
No branches or pull requests