Periodic Reporting for period 3 - OpenDreamKit (Open Digital Research Environment Toolkit for the Advancement of Mathematics)

In the last decades, vibrant communities of mathematicians have spearheaded the Open Science movement, developing a wide ecosystem of open tools covering all aspects of mechanized mathematics: computation, tabulation (data), deduction, and narration. The ecosystem suffered...