3 Packages since 2021
User Packages
-
Deductive.jl20A package for expressing and automatically proving logical statements symbolically in Julia
-
PlutoLiveExport.jl3🚀 Keep an updated export of every notebook you edit for quick viewing and publishing!
-
PlutoPublish.jl3⚡Fast and simple notebook publishing — see plutopublish.com⚡
View all packages