Apppublic

Atia110/Theorem-Prover-and-Proof-Assistant

sourceHugging Facemitupdated 5mo agoView on Hugging Face

0likes

App README

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