I’m glad you like it. One of the goals is to make discovering math easy and fun, in particular exploring theorems and definitions.