Обычно точная документация по Python можно найти на официальном сайте Python (https://www.python.org/), где доступны официальные документы, руководства и спецификации языка Python.
Отсутствие формул и точной семантики в документации программ может быть вызвано различными причинами. Некоторые разработчики могут считать, что использование формул и технических терминов может быть слишком сложным для большинства пользователей, поэтому они предпочитают использовать более простой и понятный язык в документации. Кроме того, формулы и точные описания могут быть более сложными для понимания и использования, особенно для начинающих разработчиков.
Однако, если вам нужна более точная информация или описание, основанное на псевдокоде или коде Python, вы можете обратиться к официальным документациям, форумам разработчиков, онлайн курсам или книгам о Python. Также хорошей практикой может быть изучение исходного кода библиотек или фреймворков, которые вы используете, для получения более глубокого понимания их работы.