@dpiponi are there different types of "documentation" for math? I've found the division into 4 kinds of documentation for software tremendously useful. I recommend it to everyone who writes software documentation because it makes life easier: https://documentation.divio.com/