NousResearch/atropos
1
0
Fork 0
mirror of https://github.com/NousResearch/atropos.git synced 2026-05-01 17:45:16 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

add: lean prover environment

Browse source
This commit is contained in:
GabinFay 2025-05-18 19:27:48 -07:00
parent cbb1607f12
commit 945ea30c3a
3 changed files with 454 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
environments/lean_proof_env/requirements.txt Normal file
View file

@ -0,0 +1,4 @@
datasets
wandb
tqdm
python-dotenv