Space: Mubashir00/Theorm-prover
title: Theorm Prover
sdk: gradio
license: mit
Tags: gradio, region:us