Space: mehreen2712/Theorem_Solver
title: Theorem Solver
sdk: gradio
Tags: gradio, region:us