Search results

Lean4Repl.lean fails on newer Lean versions (missing Std.TreeSet.union)

Status: Open.

#252 In lean-dojo/LeanDojo;

* lllx125 opened on Dec 13, 2025

lean_dojo_repl not working

Status: Open.

#250 In lean-dojo/LeanDojo;

* durant42040 opened on Jul 23, 2025

Remote cache doesn't work in Windows due to DOS style path

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#248 In lean-dojo/LeanDojo;

* LAWArthur opened on Jul 10, 2025

DojoInitError: Cannot find the *.ast.json file for Theorem

Status: Open.

#228 In lean-dojo/LeanDojo;

* HorHang opened on Mar 7, 2025

Issues with Running Tactics on Repos Using Lean >= v4.12.0

Status: Open.

#211 In lean-dojo/LeanDojo;

* yangky11 opened on Oct 13, 2024

Support Repositories with Inner Lakefile

Status: Open.

#153 In lean-dojo/LeanDojo;

* andrewmw94 opened on Apr 4, 2024