Get an engineer from installation to a first governed change quickly and safely.

Covers

• Installing ProofKit
• Initializing a repository
• Creating and running a governed change
• Recording verification evidence
• Avoiding common terminal mistakes

Language pages

Use the EN or ES subpage for the full walkthrough.

EN

ES