formal-proofs icon indicating copy to clipboard operation
formal-proofs copied to clipboard

Add Description to README

Open emnul opened this issue 2 years ago • 1 comments

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.

emnul avatar May 14 '22 20:05 emnul

I think a link to https://arxiv.org/pdf/2109.14534.pdf in the README can help.

oxarbitrage avatar Aug 26 '22 13:08 oxarbitrage