Space: Mubashir00/Theorm-solver
title: Theorm Solver
sdk: gradio
license: mit
Tags: gradio, region:us