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

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