According to the tag knowledge base, the following results have been found:
Fundamental mathematics — the theory of everything in IT and beyond. Type theory and formalization in Coq
We have 3 "theories of everything" - the scientific picture of the world (everything is reduced to the laws of physics), computer science (everything is reduced to bits), and the foundation of mathematics (everything is reduced to logic). It is the foundation of mathematics that is of particular interest, as it is the foundation for the other two foundations and has deep philosophical meaning.