MathSync — A platform for automating the work of actuaries and underwriters — Syncretis