Use Unicode symbols in documentation

JuliaReach / LazySets.jl

Scalable symbolic-numeric set computations in Julia

https://juliareach.github.io/LazySets.jl/

Other

226 stars 32 forks source link

Closed schillic closed 3 months ago

schillic commented 3 months ago

I merge this because it does not change any code and may require some rebasing in other PRs.