Welcome to vgo’s documentation!

Contents:

• vgo - verifiable go
  • Goals
• Installing vgo
  • Obtaining vgo
  • Compiling vgo
  • Running the test suite
  • Installing vgo
  • Using vgo
• The vgo tutorial
  • Getting started
  • The microwave oven
  • Numerical values and constructors
  • The Nim game

Indices and tables

• Index
• Module Index
• Search Page