| Documentation | Status | Community | License |
|---|---|---|---|
 |
   |
 |
 |
JuliaReachDevDocs hosts resources for JuliaReach org developers.
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.jlRefer to the official documentation on how to install and run Julia in your system.