Apppublic

AI-Quotient/theorem-proving-agent

sourceHugging Facemitupdated 2y agoView on Hugging Face

2likes

App README

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