LeanDojo's REPL/ExtractData.lean and mods to REPL/Main.lean to populate AST#96
Open
vadimkantorov wants to merge 2 commits intoleanprover-community:masterfrom
Open
LeanDojo's REPL/ExtractData.lean and mods to REPL/Main.lean to populate AST#96vadimkantorov wants to merge 2 commits intoleanprover-community:masterfrom
REPL/ExtractData.lean and mods to REPL/Main.lean to populate AST#96vadimkantorov wants to merge 2 commits intoleanprover-community:masterfrom
Commits
Commits on May 1, 2025
- committed
- committed
