Demos

Reproducible, executed examples — coming soon.

Coming soon: reproducible, actually-executed examples of JuliaReach tools (ReachabilityAnalysis.jl, LazySets.jl) in action — built with Documenter.jl + DocumenterVitepress.jl, so the Julia code on this page actually runs at build time and the output (including plots) is real, not a screenshot.