avoids timeout error by reducing the output tokens for unimath examples 99861f6 verified Tonic commited on Jul 13
remove lean4 from gradio block declaration, replace with python 7bd644e verified Tonic commited on Jul 13