JuliaReach / LazySets.jl

Scalable symbolic-numeric set computations in Julia
https://juliareach.github.io/LazySets.jl/
Other
226 stars 32 forks source link

Test LazySets paper code #2895

Open mforets opened 2 years ago

schillic commented 2 years ago

A relatively straightforward solution would be to create a page in the documentation with doctests. We can pass hide in Documenter's makedocs command to not show this page in the navigation menu.