Download history for openmath-open-theorem

[![Download history](https://skill-history.com/chart/bennyzhe/openmath-open-theorem.svg)](https://skill-history.com/bennyzhe/openmath-open-theorem)

Badge embed Copy

[![Downloads](https://skill-history.com/badge/bennyzhe/openmath-open-theorem.svg)](https://skill-history.com/bennyzhe/openmath-open-theorem)