At the beginning of the last century, the Italian mathematician Giuseppe Peano published a work (the Formulario Mathematico) which expresses in symbolic language a number of definitions and theorems to which demonstrations are attached. More precisely it starts with elementary logic, continues with algebra results and ends with differential calculus.
As an example, after the definition of the factorial, Peano immediately states a result due to Pascal.
What I like in this kind of book is the purity of mathematics in the sense that no exercise or example disturbs the content. Ideally, it should cover the broad outlines of the major fields of mathematics.
To my knowledge, no work of this type has been done since then except for a few result booklets written by Bourbaki as an introduction to the areas of mathematics they wanted to develop. Is this really the case?