JuliaReach/LazySets.jl

Documentation Update section causes error

Zitzeronion opened this issue · 1 comments

Zitzeronion commented

The code Pkg.checkout() generates an error message see PR.

schillic commented

Closed in #3243.