Download history for openmath-lean-theorem

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

Badge embed Copy

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