https://github.com/viperproject/gobra-book
https://github.com/viperproject/gobra-book
Last synced: 3 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/viperproject/gobra-book
- Owner: viperproject
- Created: 2023-07-03T14:49:37.000Z (almost 3 years ago)
- Default Branch: main
- Last Pushed: 2026-01-25T15:50:40.000Z (5 months ago)
- Last Synced: 2026-01-26T08:39:12.872Z (5 months ago)
- Language: JavaScript
- Homepage: https://viperproject.github.io/gobra-book/
- Size: 468 KB
- Stars: 3
- Watchers: 1
- Forks: 3
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: licenses/LICENSE-ACE
Awesome Lists containing this project
README
# The Gobra Book: Formally Verifying Go Programs with Gobra
This repository contains the source of the *Gobra Book*, an online learning resource for [Gobra](https://github.com/viperproject/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
Have you found an error? Please file an [issue](https://github.com/viperproject/gobra-book/issues/new/choose).
For contribution and building information please refer to [CONTRIBUTING.md](./CONTRIBUTING.md).
## Licenses
The contents of the Gobra Book in `src/` and `quizzes/` are licensed under the [Mozilla Public License v2.0](./licenses/LICENSE-MOZILLA).
We are grateful to the following open source projects:
- ([Mozilla Public License v2.0](./licenses/LICENSE-MOZILLA)) which we use to generate the website, based on the files `theme/*`.
- ([Apache License](./licenses/LICENSE-APACHE), [MIT License](./licenses/LICENSE-MIT)) which is used to integrate interactive quizzes.
- ([Apache License](./licenses/LICENSE-APACHE), [MIT License](./licenses/LICENSE-MIT)) which was used as the base for the CI/CD actions and the script `ci/spellcheck.sh`
- ([License](./licenses/LICENSE-ACE)) which provides a code editor and golang support via `mode-golang.js`
- The [Go Gopher](https://go.dev/wiki/Gopher) is licensed under the Creative Commons 4.0 Attributions license.