Lean-STaR-base / config.json

Commit History

first commit
1edf2ba

Noogal commited on