Spicenema Manim diagrams for the SPICE offline memory checking argument. Used for Jolt's RAM. poetry install manim -pqm main.py TupleTableScene