Comment by fspeech

Documenting mathematics rigorously is actually hard. For example see the Formal Abstracts (https://formalabstracts.github.io) project by Thomas Hales. Hales' other writings on the subject may be informative too: https://jiggerwit.wordpress.com/2019/06/20/an-argument-for-c...