Hugging Face's logo

Spaces:
wr1240148048
/
stack_project_to_mathlib4_search
Build error

App Files Community
stack_project_to_mathlib4_search

Commit History

  1. Update app.py

    wr1240148048
    Verified signature
    83cedb8

  2. Update app.py

    wr1240148048
    Verified signature
    30f898f

  1. Update requirements.txt

    wr1240148048
    Verified signature
    e237932

  2. Update requirements.txt

    wr1240148048
    Verified signature
    ea76028

  3. Update requirements.txt

    wr1240148048
    Verified signature
    316f7cf

  4. Upload 6 files

    wr1240148048
    Verified signature
    ade82ba

  5. Update requirements.txt

    wr1240148048
    Verified signature
    c45938e

  6. Create requirements.txt

    wr1240148048
    Verified signature
    d05fa09

  7. Rename gui.py to app.py

    wr1240148048
    Verified signature
    770d8c7

  8. Create gui.py

    wr1240148048
    Verified signature
    4f5b091

  9. initial commit

    wr1240148048
    Verified signature
    f45d8bc