Apppublic

Mubashir00/theorem-solver

sourceHugging Faceupdated 4mo agoView on Hugging Face

0likes

App README

Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference

AI Theorem Prover

Final Year Project

Features

—Mathematical theorem proving
—Step-by-step proof generation
—Functional Analysis support
—Metric Space proofs
—Banach Space proofs
—Linear Algebra proofs
—Topology proofs

Technology Stack

—Python
—Hugging Face
—Gradio
—Transformers
—Qwen 2.5