@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/
@mjambon @dpiponi Thanks for sharing, really liking it!
After digging around a bit it seems to be AKA https://diataxis.fr/
@mjambon Ooh! I like that diagram and I expect I'll classify everything technical I read like that now. I think all of those types exist in mathematics but the further you go in your career the further to the lower right the material you read is.