search

a16z / halmos

A symbolic testing tool for EVM smart contracts
GNU Affero General Public License v3.0
802 stars 65 forks source link

FAQ section #287

Open PatrickAlphaC opened 4 months ago

PatrickAlphaC commented 4 months ago

https://x.com/daejunpark/status/1789480206320939296

When I googled these on stream, I got no results. It would be great to place these FAQs in either:

  1. In an FAQ section
  2. A bunch of Q&As on stack exchange or peeranha

So when people web search or AI ask these exact queries, the FAQ shows up.

Happy to assist here. Let me know what you'd prefer.

(IMO getting them into the git repo here or on a docs page would be great)