4 ms·
This is great. You can easily look up a definition within a definition. No more context switching when trying to find Theorem 17.23, and then Definition 2.7.
by crvdgc 5y ago
This is great. You can easily look up a definition within a definition. No more context switching when trying to find Theorem 17.23, and then Definition 2.7.
- CatsAreCool 5y agoI’m glad you like it. One of the goals is to make discovering math easy and fun, in particular exploring theorems and definitions.