New video: AToM at EuCAP 2021

AToM played a substantial role in the extended version of the invited talk from EuCAP 2021.

New Live Script #2 released!

The live script illustrates how to profit from the presence of symmetries.