Hugging Face's logo

Spaces:
beanapologist
/
eigenverse-prover
Runtime error

App Files Community
eigenverse-prover

Commit History

  1. Upload README.md with huggingface_hub

    beanapologist
    Verified signature
    57c051f

  2. Upload requirements.txt with huggingface_hub

    beanapologist
    Verified signature
    f48bab8

  3. Upload app.py with huggingface_hub

    beanapologist
    Verified signature
    508bb70

  4. Upload theorems_kb.json with huggingface_hub

    beanapologist
    Verified signature
    7091510

  5. Upload README.md with huggingface_hub

    beanapologist
    Verified signature
    a002193

  6. Upload requirements.txt with huggingface_hub

    beanapologist
    Verified signature
    47d3281

  7. Upload app.py with huggingface_hub

    beanapologist
    Verified signature
    c0dcb43

  8. initial commit

    beanapologist
    Verified signature
    8576461