Spaces:

Duplicated from xu3kev/BIRD-SQL-data

xu3kev
/

proofsteps-from-proof-pile-v2

Runtime error

App Files Files Community

proofsteps-from-proof-pile-v2

Ctrl+K

Ctrl+K

3 contributors

History: 6 commits

loubnabnl's picture

loubnabnl HF Staff

Update app.py

0304e41 about 2 years ago