Some advertisement for an interesting scientific tool, named #ImpBot (https://github.com/eloitanguy/impbot), developed by a colleague and friend, Eloi Tanguy. You may like using this #Python script when writing papers with many propositions, lemmata, theorems, assumptions, conjectures, .... for which it becomes less and less clear how all these elements are depending on each other. ImpBot generates for you (in #Tikz, with clickable boxes once compiled) the #graph of implications of all these elements from their references in the #LaTeX source file(s) (see a simple exemple below and on the website). This can be handy when writing, structuring a #paper or a report with some mathematics. We use it ourselves for the moment ;-) More information on the website.