The Gobra Book: Formally Verifying Go Programs with Gobra

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 🚧

Have you found an error? Please file an issue.

For contribution and building information please refer to CONTRIBUTING.md.

Licenses

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

Name		Name	Last commit message	Last commit date
Latest commit History 23 Commits
.github/workflows		.github/workflows
ci		ci
licenses		licenses
quizzes		quizzes
src		src
theme		theme
.gitignore		.gitignore
CONTRIBUTING.md		CONTRIBUTING.md
README.md		README.md
book.toml		book.toml
editor.js		editor.js
mode-gobra.js		mode-gobra.js
mode-golang.js		mode-golang.js