qed-math-openenv / Dockerfile

Commit History

add .gitattributes and normalize line endings to LF
2e3721b

sourasishbasu commited on

default runtime dataset to FineProofs-RL-test[:10]
ef46040

swappy commited on

add hf Dockerfile for multi-stage build and deployment setup
44b35f9

swappy commited on