LazySets.jl is a Julia package for calculus with convex sets. The aim is to provide a scalable library for solving complex set-based problems, such as those encountered in differential inclusions or reachability analysis techniques in the domain of formal verification. Typically, one is confronted with a set-based recurrence with a given initial set and/or input sets, and for visualization purposes, the final result has to be obtained through an adequate projection onto low dimensions. This...