ReachabilityAnalysis.jl icon indicating copy to clipboard operation
ReachabilityAnalysis.jl copied to clipboard

Published 20 hours ago • verified publisher icon JuliaReach

Apply tips to reduce the filesize of generated notebooks

Open mforets opened this issue 3 years ago • 2 comments

https://fredrikekre.github.io/Literate.jl/v2/tips/#notebook-filesize

mforets avatar Jul 21 '20 15:07 mforets

dup of https://github.com/JuliaReach/ReachabilityAnalysis.jl/issues/428

mforets avatar Apr 13 '21 13:04 mforets

Reopening since #428 got closed. Especially the DisplayAs should help a lot.

schillic avatar Jun 02 '21 05:06 schillic