NousResearch/atropos
1
0
Fork 0
mirror of https://github.com/NousResearch/atropos.git synced 2026-04-19 12:57:58 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update lean_env.py

Browse source
This commit is contained in:
andrewshab 2025-10-14 12:28:13 +02:00 • committed by GitHub
parent eeabf16ff7
commit 7e918dfd18
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
environments/community/lean_proof_env/lean_env.py
View file

@ -18,7 +18,7 @@ from atroposlib.type_definitions import ( # Item might not be directly used if
)
from atroposlib.utils.tokenize_for_trainer import tokenize_for_trainer
# from pypantograph import PyPantograph # Assuming it\'s a package
# from pypantograph import PyPantograph # Assuming it's a package
# For now, mock PyPantograph: