> For the complete documentation index, see [llms.txt](https://docs.runtimeverification.com/kontrol/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.runtimeverification.com/kontrol/guides/proofcast-episode.md).

# Proofcast Episode: Getting Started

In this episode of Proofcast, Paul (BD person) is guided by two Kontrol verification engineers through the installation and usage of Kontrol. This video provides an excellent starting point for learning Kontrol, as it covers:

* Installation process and common pitfalls
* Running through the example project
* Real-time troubleshooting and solutions
* Detailed explanations of what's happening during verification
* Best practices and tips from verification engineers

{% embed url="<https://www.youtube.com/embed/iOz8zv_89Bs>" %}

## Why Watch This Episode?

This episode is particularly valuable because:

* It shows the actual installation process with real-time troubleshooting
* Demonstrates common issues and their solutions
* Provides expert insights into the verification process
* Uses the same example project that's documented in our guides
* Offers a more interactive way to learn compared to reading documentation

## Following Along

To get the most out of this episode:

1. Have your development environment ready (see [Installations](/kontrol/overview/readme/installations.md))
2. Clone the example repository
3. Follow along with the video, pausing when needed
4. Try to replicate the steps on your machine
5. Refer to the [Kontrol Example](/kontrol/guides/kontrol-example.md) documentation for additional details