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),…