The courses teach formal verification through katas that run in your browser. The tutorials show you how to install the same open-source tools and run them yourself, one command at a time, with the output each command prints.
A SymbiYosys tutorial for Linux: install the OSS CAD Suite, run bounded, cover and induction proofs, read counterexamples, and verify a FIFO, two AXI components and two RISC-V cores.