mathematics education and, perhaps surprisingly, formal proof verification. From there,