Videos
------

We have a range of videos available on our youtube channel: https://www.youtube.com/c/symbioticeda

* `What is Formal Verification <https://www.youtube.com/playlist?list=PLX1FD-Xa88fZOHDEWAMJUm2qSzM3kS6lH>`_
* `Getting started <https://www.youtube.com/playlist?list=PLX1FD-Xa88fbMhT-tTe67O2gz_UwEjz9->`_
* `Vlog <https://www.youtube.com/playlist?list=PLX1FD-Xa88fZMw6DWyaryIiqh4bcpv-X0>`_
* `Interviews <https://www.youtube.com/playlist?list=PLX1FD-Xa88fYf-Aourq4XNA-N2mf5PkzG>`_