Не, я ж работаю в мелком стартапчике. У нас только телега, дискорд, гитхаб, поддержка лендинга и публичной доки, и несколько десятков табличек с планнингом в гуглодоках.
Ну собсна все так делают, хотя особо весело когда тебе нужно делать какие-то доказательства математические, источники расходятся в терминологии и в символике, в книжке нихуя нет, в слайдах нет, и приходится разбираться по нескольким презам рандомных вузов с пятой страницы в гугле с пятнадцатой попытки поискового запроса и складывать решение по кусочкам.