Spaces:

Duplicated from xu3kev/BIRD-SQL-data

xu3kev
/

proofsteps-from-proof-pile-v2

Runtime error

App Files Files Community

proofsteps-from-proof-pile-v2 / requirements.txt

Commit History

pretty sql

50b49a8

Wen-Ding Li commited on Oct 12, 2023

Create requirements.txt

613c491

loubnabnl HF staff commited on Oct 4, 2023