3 ms·
Interesting stuff, the uniformity for so many proofs is compelling. The names/id's are pretty hard imho yet they are used everywhere, e.g "readdcli": could be
by Aardwolf 8y ago
Interesting stuff, the uniformity for so many proofs is compelling.
The names/id's are pretty hard imho yet they are used everywhere, e.g "readdcli": could be about "read" or "add" at first sight. Maybe if they were a bit longer and more descriptive, less clicking on them to view what they are might be needed...
- digama0 8y agoThe naming system is pretty compact but also very standardized and reliable, which is important when organizing more than 10000 theorems. That one breaks down as "re + add + cl + i" for "the REals are CLosed under ADDition, Inference form". You can also mouse over the theorem name links to see a short description.