JuliaReachDevDocs

Documentation	Status	Community	License

JuliaReachDevDocs hosts resources for JuliaReach org developers.

Resources

• Contents
• About

How to edit the dev docs

To contribute to JuliaReachDevDocs, you can either modify in the online GitHub interface, or fork the repository and push the proposed changes in a new branch.

To build the documentation, use the following command in a command shell:

$ julia --color=yes docs/make.jl

Refer to the official documentation on how to install and run Julia in your system.