Table of contents MAST-GITHUB-OVERLEAF-SYNC About License MAST-GITHUB-OVERLEAF-SYNC About License This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.