formal-proofs
formal-proofs copied to clipboard
Add Description to README
Could someone add a description of this repo to the README.md file? As someone who wants to make contributions to StarkWare's libs it would help if I had an understanding of what the purpose this repo is. The README should include the following:
- What's the purpose of this software
- A high level overview of how it works
- An example of how one would use this software.
I think a link to https://arxiv.org/pdf/2109.14534.pdf in the README can help.