I recommend to have a quick look at https://github.com/magma/magma#readme first to get an overview of what Magma is, before going into the details.