Spaces:
Duplicated from xu3kev/BIRD-SQL-data

xu3kev
/

proofsteps-from-proof-pile-v2

Runtime error

App Files Files Community

proofsteps-from-proof-pile-v2

Commit History

Update README.md

084ea6f

loubnabnl HF staff commited on Feb 24, 2023

Update app.py

f136074

loubnabnl HF staff commited on Feb 24, 2023

Update app.py

91ad69e

loubnabnl HF staff commited on Feb 24, 2023

Update app.py

3365e28

loubnabnl HF staff commited on Feb 24, 2023

Duplicate from bigcode/clean-issues-visualization

f9f24ec

loubnabnl HF staff commited on Feb 24, 2023