I would check out https://julialang.org, the closest thing to the pure math I have seen.