lean-dojo/LeanDojo Issues
Buggy Benchmark Generation
Updated 9Errors tracing older repos
Closed 6LeanDojo should not be run as root
Updated 1ReProver Warning
Closed 3a potential bug in container.py
Closed 2Python 3.9 syntax issue
Closed 1trace repository error
Closed 4--
ClosedUnable to trace Lean 4 repos
Closed 5Compatibility of Python versions
Closed 6404 Not Found on index.html
Closed 1