This repository contains the source of the Gobra Book, an online learning resource for Gobra, a verifier for the Go programming language.
🚧 Work in progress - we are in the process of writing the core chapters 🚧
You can access the latest version at https://viperproject.github.io/gobra-book/
Have you found an error? Please file an issue.
For contribution and building information please refer to CONTRIBUTING.md.
The contents of the Gobra Book in src/ and quizzes/ are licensed under the Mozilla Public License v2.0.
We are grateful to the following open source projects:
-
https://github.com/rust-lang/mdBook (Mozilla Public License v2.0) which we use to generate the website, based on the files
theme/*. -
https://github.com/cognitive-engineering-lab/mdbook-quiz/ (Apache License, MIT License) which is used to integrate interactive quizzes.
-
https://github.com/rust-lang/book (Apache License, MIT License) which was used as the base for the CI/CD actions and the script
ci/spellcheck.sh -
https://github.com/ajaxorg/ace (License) which provides a code editor and golang support via
mode-golang.js