Some experiments with verification by abstraction Implemented are the basics of Zonotope Abstraction. ReLU (one possible transformer) Affine functions (without bias) Visualization of 2 dimensional zonotopes Interval Abstraction is still WIP