LeanDojo's REPL/ExtractData.lean and mods to REPL/Main.lean to populate AST - #96
Open
vadimkantorov wants to merge 2 commits into
Open
LeanDojo's REPL/ExtractData.lean and mods to REPL/Main.lean to populate AST#96vadimkantorov wants to merge 2 commits into
REPL/ExtractData.lean and mods to REPL/Main.lean to populate AST#96vadimkantorov wants to merge 2 commits into