Gobra playground User-Agent

[Gottschall Ali]

Hi,

We are building a guide for the Go verifier Gobra. A playground is included to verify programs with Gobra and also run them on the Go playground.
We would use the following User-Agent:

viperproject/gobra-playground

• Gobra: https://www.pm.inf.ethz.ch/research/gobra.html
• Guide: https://viperproject.github.io/gobra-book/

Overview - Practical Program Verification in Go with Gobra (alpha) This book is an online resource that teaches how to prove the correctness of your programs written in Go against a formal specification. We use the Gobra verifier, and we exemplify it on multiple examples and exercises.. If you find errors or have suggestions, please file an issue here.. If you have any questions about Gobra's features that are not yet addressed in the book, feel free to ask ... viperproject.github.io

• https://github.com/gottschali/gobra-playground/

Thank you for providing this service!

Cheers,

Ali